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)
commit7f6676a4c2947fd63d9f3761430032e25824bf94
treedfc0c0b74774b09bdc441a14bcf5e2cae3995748
parenta4943c1db17ff30ce22ce8c16bd9bd5c8d320c75
doc: Add html, pdf.

* GNUmakefile (html, pdf): New target.
* .gitignore: Ignore html, pdf targets.
.gitignore
GNUmakefile