diff options
-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) |