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]...