Merge branch 'jt/format-patch'

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 2b0efe7921b61fa3c3c84273054112373aac75ba..6dbe45b50626bf09c5a37c80473f0a4fe18136f9 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -46,6 +46,7 @@ all: html man
 
 html: $(DOC_HTML)
 
+$(DOC_HTML) $(DOC_MAN1) $(DOC_MAN7): asciidoc.conf
 
 man: man1 man7
 man1: $(DOC_MAN1)