diff options
Diffstat (limited to 'Makefile.pamphlet')
| -rw-r--r-- | Makefile.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index ea55f2a3..7892605c 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -320,7 +320,7 @@ build_srcdir = $(builddir)/src AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-book all-boot \ all-clef all-doc all-graph all-hyper all-input all-interpsys \ - all-lib all-lisp all-sman all-src all-depsys + all-lib all-lisp all-sman all-src .PHONY: all $(AXIOM_SRC_TARGETS) all: all-ax @@ -331,7 +331,7 @@ all-ax: all-src all-src: stamp-rootdirs @axiom_all_prerequisites@ ifeq ($(strip $(axiom_include_gcl)),yes) -all-boot all-lisp all-depsys all-interpsys all-axiomsys \ +all-boot all-lisp all-interpsys all-axiomsys \ all-algebra all-input: all-gcl endif |