diff options
| -rw-r--r-- | Makefile.in | 2 | ||||
| -rw-r--r-- | Makefile.pamphlet | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index c04254c0..75102046 100644 --- a/Makefile.in +++ b/Makefile.in @@ -14,7 +14,7 @@ SUBDIRS = src build_srcdir = $(builddir)/src -AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-book all-boot \ +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-src diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 7892605c..8b633966 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -318,7 +318,7 @@ SUBDIRS = src build_srcdir = $(builddir)/src -AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-book all-boot \ +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-src |