diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/hyper/Makefile.in | 4 |
2 files changed, 8 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f725401e..68e95811 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2008-10-18 Gabriel Dos Reis <gdr@cs.tamu.edu> + * hyper/Makefile.in (openaxiom_host_has_regex): Define. + (all-hyper-pre): Install scripts too. + +2008-10-18 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/syntax.spad.pamphlet (Syntax): Now belong to RetractableTo Integer, RetractableTo DoubleFloat, RetractableTo Symbol, and RetractableTo String. diff --git a/src/hyper/Makefile.in b/src/hyper/Makefile.in index a29c2601..755eb74e 100644 --- a/src/hyper/Makefile.in +++ b/src/hyper/Makefile.in @@ -30,6 +30,8 @@ # SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +openaxiom_host_has_regex = @openaxiom_host_has_regex@ + bin_PROGRAMS = htadd$(EXEEXT) ex2ht$(EXEEXT) ifeq ($(strip $(openaxiom_host_has_regex)),yes) bin_PROGRAMS += hthits$(EXEEXT) @@ -114,7 +116,7 @@ stamp: all-hyper-post -rm -f stamp $(STAMP) stamp -all-hyper-pre: $(BINFILES) $(HYPER)/pages/util.ht +all-hyper-pre: $(BINFILES) $(SCRIPTS) $(HYPER)/pages/util.ht $(HYPER)/pages/util.ht: $(srcdir)/pages/util.ht rm -f $@ |