makefile.texi (restrap, [...]): Document targets.