* Makefile.in (html, pdf): New. * doc/Makefile.in (html, pdf, porting.pdf, porting.html): New. * doc/porting.texi: Fix section structure.