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

Otherwise, if you don't have pandoc installed, they get repeatedly
regenerated for no good reason.

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 0b494a932d9fbb9efcea3a78b385aff82d0069a8..d69aa88602118d79f81e62608e89ce4548489bff 100644 (file)
--- 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' \