Ensure that hg-id is regenerated even when it already exists.

diff --git a/src/Makefile.am b/src/Makefile.am
index e508ceeba3b28665c224c8772fe7e07449b7194b..77c7cd2d166dd29bfea4bfd34f243a8893a11455 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -53,6 +53,7 @@ version.c: hg-id
        printf '%s\n' '";' >> $@
 
 .INTERMEDIATE: hg-id
+.PHONY: hg-id
 hg-id: $(wget_SOURCES) $(LDADD)
        -( hg id | cut -f 1 -d ' ' ) 2>/dev/null > $@