about summary refs log tree commit homepage
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2014-12-22 01:38:24 +0000
committerEric Wong <e@80x24.org>2014-12-22 01:41:50 +0000
commit4f89debb03699637a210158d0d04d11f62fae830 (patch)
tree2e411da3ace0c11a322648f6cef88c4c9fa79056
parent7f35ce53a0183aafc450faded89954f784bf835a (diff)
downloadpublic-inbox-4f89debb03699637a210158d0d04d11f62fae830.tar.gz
This allows us to generate links without caring about discoverability
and remains reasonably WYSIWYG for folks editing our documentation in
their favorite $EDITOR
-rw-r--r--Documentation/include.mk6
1 files changed, 2 insertions, 4 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk
index c852ce1c..162bf543 100644
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -42,12 +42,10 @@ install-man: man
 txt2pre = ./Documentation/txt2pre < $< > $@+ && touch -r $< $@+ && mv $@+ $@
 txt = INSTALL README COPYING
 
-INSTALL.html: INSTALL
-        $(txt2pre)
-index.html: README
+%.html: %
         $(txt2pre)
 
-docs_html := INSTALL.html
+docs_html := $(addsuffix .html, $(txt))
 html: $(docs_html)
 gz_docs := $(addsuffix .gz, $(docs) $(docs_html))
 rsync_docs := $(gz_docs) $(docs) $(txt) $(docs_html)