Documentation: correctly mark .md.tmp files as "precious".

Otherwise, if you don't have pandoc installed, they get repeatedly regenerated for no good reason.
leto · Feb 11, 2010 · 2ea210b · 2ea210b
1 parent 6e41d84
commit 2ea210b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Documentation/Makefile b/Documentation/Makefile
@@ -22,7 +22,7 @@ html: $(patsubst %.1.md,%.html,$(wildcard *.md))
 %.html: %.1.md.tmp Makefile
 	$(PANDOC) -s -r markdown -w html -o $@ $<
 
-.PRECIOUS: %.1.md.tmp
+.PRECIOUS: %.md.tmp
 %.md.tmp: %.md Makefile
 	rm -f $@ $@.new
 	sed -e 's,%BUP_VERSION%,${BUP_VERSION},g' \