aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog8
1 files changed, 8 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index ad51424b..56e44f65 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2007-09-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * Makefile.pamphlet (all-noweb): Depend only on one target,
+ notangle.
+ ($(addprefix $(axiom_build_bindir)/, notangle noweave)): Touch
+ shell scripts too.
+ * Makefile.in: Regenerate.
+
2007-09-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
* configure.ac.pamphlet: Fix thinko.