]> git.tue.mpg.de Git - dss.git/commitdiff
build: Move recipe for index.html to proper place.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 8 May 2024 23:12:21 +0000 (01:12 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
There's no reason for this to be after the README stuff.

Makefile

index 3be6b213e52053d25770f34bed935062ac851784..cc1548bcf9e56b3f5b69d0f37c83181c9573356e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -132,6 +132,9 @@ $(B)/%.1: $(B)/%.suite
 $(B)/%.1.html: $(B)/%.1
        $(call SAY, GROFF $<)
        $(GROFF) $< > $@
+$(B)/index.html: index.html.m4 Makefile
+       $(call SAY, M4 $@)
+       $(M4) $< > $@
 clean:
        $(call SAY, CLEAN)
        $(RM) -r $(B) $(all)
@@ -167,8 +170,4 @@ endef
 README:
        @printf '%s\n' "$(README)"
 
-$(B)/index.html: index.html.m4 Makefile
-       $(call SAY, M4 $@)
-       $(M4) $< > $@
-
 -include Makefile.local