diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-09-04 08:52:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-09-04 08:52:42 +0000 |
| commit | ec4c4c5e26fe4d0d49c32f4942d720be93884077 (patch) | |
| tree | 581b1641ebd34522f28e567e38dea643e9f8763e | |
| parent | f9c74d303775dc241544e139f68ec373e02ad78f (diff) | |
| download | open-axiom-ec4c4c5e26fe4d0d49c32f4942d720be93884077.tar.gz | |
* config/setup-dep.mk ($(top_srcdir)/configure.ac): Robustify
regeneration from pamphlet.
($(srcdir)/Makefile.in): Likewise.
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rw-r--r-- | config/setup-dep.mk | 8 |
2 files changed, 12 insertions, 2 deletions
@@ -1,3 +1,9 @@ +2007-09-04 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * config/setup-dep.mk ($(top_srcdir)/configure.ac): Robustify + regeneration from pamphlet. + ($(srcdir)/Makefile.in): Likewise. + 2007-09-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * configure.ac.pamphlet: Disable HyperDoc if X11 is not available. diff --git a/config/setup-dep.mk b/config/setup-dep.mk index b66e9e81..3ef4d1e9 100644 --- a/config/setup-dep.mk +++ b/config/setup-dep.mk @@ -111,7 +111,8 @@ $(axiom_build_texdir)/axiom.sty: $(axiom_src_docdir)/axiom.sty.pamphlet ## pamphlet files. $(top_srcdir)/configure.ac: $(top_srcdir)/configure.ac.pamphlet cd $(top_srcdir) && \ - notangle ./configure.ac.pamphlet > configure.ac + notangle ./configure.ac.pamphlet > configure.ac-tmp && \ + config/move-if-change configure.ac-tmp configure.ac $(top_srcdir)/configure: $(top_srcdir)/configure.ac \ $(top_srcdir)/config/axiom.m4 @@ -120,7 +121,10 @@ $(top_srcdir)/configure: $(top_srcdir)/configure.ac \ ## Rules for regenerating Makefile.in from pamphlets. $(srcdir)/Makefile.in: $(srcdir)/Makefile.pamphlet - cd $(srcdir) && notangle -t8 Makefile.pamphlet > ./Makefile.in + notangle -t8 $(srcdir)/Makefile.pamphlet > \ + $(srcdir)/Makefile.in-tmp && \ + $(top_srcdir)/config/move-if-change $(srcdir)/Makefile.in-tmp \ + $(srcdir)/Makefile.in .PRECIOUS: Makefile Makefile: $(srcdir)/Makefile.in $(top_srcdir)/config/var-def.mk \ |