diff options
Diffstat (limited to 'Makefile.pamphlet')
| -rw-r--r-- | Makefile.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 3bd131cb..971a52f8 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -322,7 +322,7 @@ build_srcdir = $(builddir)/src AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-boot \ all-clef all-doc all-graph all-hyper all-input all-interpsys \ - all-lib all-lisp all-sman all-driver all-src + all-lib all-lisp all-sman all-driver all-src all-databases .PHONY: all $(AXIOM_SRC_TARGETS) all: all-ax |