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.

.gitignore
GNUmakefile

index ccfff1af0d8b3bc73c47491aec3f5316d0ca0efb..e3d4095750a89a76846c54570a73f759e6d49ba1 100644 (file)
@@ -60,7 +60,9 @@
 /doc/fosdem/fosdem.tex
 /doc/fosdem/fosdem.toc
 /doc/fosdem/fosdem.*vrb
+/doc/mes
 /doc/mes.1
 /doc/mes.info
+/doc/mes.pdf
 /doc/mescc.1
 /doc/version.texi
index 4b3ebe7a64a8d70583cd2725548ffcd54489ac73..3fd2911049e92ce02f16759537fc110c1f041823 100644 (file)
@@ -125,6 +125,16 @@ src/mes.gcc-out:
 doc/mescc.1: src/mes.gcc-out scripts/mescc
        MES_ARENA=10000000 $(HELP2MAN) $< > $@
 
+html: mes/index.html
+
+mes/index.html: doc/mes.texi
+       $(MAKEINFO) --html -o doc/mes $<
+
+pdf: doc/mes.pdf
+
+doc/mes.pdf: doc/mes.texi
+       $(MAKEINFO) --pdf -o doc/mes.pdf $<
+
 define HELP_TOP
 Usage: make [OPTION]... [TARGET]...