]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - Makefile
Fix build target www.
[lopsub.git] / Makefile
index e8fb7c0b3743a8655e74a7e66f441efea02dd382..4fbc36b0d723b704ccbf1a1e4dd72fed2b201513 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -99,7 +99,7 @@ lopsubex: $(lopsubex_objs) $(REALNAME)
 
 # web
 html := $(addprefix web/, $(addsuffix .html, \
-       index lopsub-api lopsubgen.1 lopsubex.1 $(m4_man_pages)))
+       index lopsub-api lopsubgen.1 lopsubex.1 $(m4_man_pages:.gz=)))
 $(html): $(addprefix web/, $(addsuffix .html, header footer))
 
 www: $(html)