diff src/Makefile.am @ 9927:ecbf1577200c

Distribute DOCSTRINGS to prevent unnecessary documentation rebuild
author Rik <rdrider0-list@yahoo.com>
date Sun, 06 Dec 2009 20:40:42 -0800
parents c1210502785b
children 6786e1e41676
line wrap: on
line diff
--- a/src/Makefile.am	Sun Dec 06 20:19:20 2009 -0800
+++ b/src/Makefile.am	Sun Dec 06 20:40:42 2009 -0800
@@ -72,6 +72,7 @@
   ChangeLog \
   Makefile.in \
   defaults.h.in \
+  DOCSTRINGS \
   find-defun-files.sh \
   genprops.awk \
   graphics.h.in \
@@ -621,7 +622,7 @@
 
 DOCSTRINGS: gendoc$(BUILD_EXEEXT)
 	./gendoc > $@-t
-	mv $@-t $@
+	$(simple_move_if_change_rule)
 
 doc-files: $(DEF_FILES)
 	echo $(DEF_FILES) > $@-t