doc: Add html, pdf.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 9 Jul 2018 18:07:38 +0000 (20:07 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Jul 2018 20:30:00 +0000 (22:30 +0200)
* GNUmakefile (html, pdf): New target.
* .gitignore: Ignore html, pdf targets.


No differences found