From 7f6676a4c2947fd63d9f3761430032e25824bf94 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Mon, 9 Jul 2018 20:07:38 +0200
Subject: [PATCH] doc: Add html, pdf.

* GNUmakefile (html, pdf): New target.
* .gitignore: Ignore html, pdf targets.
---
 .gitignore  |  2 ++
 GNUmakefile | 10 ++++++++++
 2 files changed, 12 insertions(+)

diff --git a/.gitignore b/.gitignore
index ccfff1af..e3d40957 100644
--- 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 4b3ebe7a..3fd29110 100644
--- 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]...