doc: Add html, pdf.

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

diff --git a/.gitignore b/.gitignore
index ccfff1af0d8b3bc73c47491aec3f5316d0ca0efb..e3d4095750a89a76846c54570a73f759e6d49ba1 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -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

diff --git a/GNUmakefile b/GNUmakefile
index 4b3ebe7a64a8d70583cd2725548ffcd54489ac73..3fd2911049e92ce02f16759537fc110c1f041823 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -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]...