doc: Add html, pdf.
[mes.git] / GNUmakefile
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]...