diff options
author | Eric Wong <e@80x24.org> | 2014-12-22 01:38:24 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2014-12-22 01:41:50 +0000 |
commit | 4f89debb03699637a210158d0d04d11f62fae830 (patch) | |
tree | 2e411da3ace0c11a322648f6cef88c4c9fa79056 | |
parent | 7f35ce53a0183aafc450faded89954f784bf835a (diff) | |
download | public-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.mk | 6 |
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) |