diff options
Diffstat (limited to 'src/etc/Makefile.pamphlet')
-rw-r--r-- | src/etc/Makefile.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/etc/Makefile.pamphlet b/src/etc/Makefile.pamphlet index e8efe4af..a47a7172 100644 --- a/src/etc/Makefile.pamphlet +++ b/src/etc/Makefile.pamphlet @@ -90,10 +90,8 @@ asq.c: $(srcdir)/asq.c.pamphlet @ <<*>>= -INTERPSYS= \ - AXIOM="$(AXIOM)" \ - DAASE="$(axiom_src_datadir)" \ - ../interp/interpsys$(EXEEXT) +INTERPSYS = ../interp/interpsys$(EXEEXT) -- --system="$(AXIOM)" \ + --sysalg="$(axiom_src_datadir)/algebra/" subdir = src/etc/ |