diff options
-rw-r--r-- | Makefile.in | 5 | ||||
-rw-r--r-- | Makefile.pamphlet | 5 | ||||
-rw-r--r-- | src/interp/i-coerfn.boot | 2 |
3 files changed, 3 insertions, 9 deletions
diff --git a/Makefile.in b/Makefile.in index 0d17416a..23268de1 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-boot \ +AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-boot all-share \ all-clef all-doc all-graph all-hyper all-input all-interpsys \ all-lib all-lisp all-sman all-driver all-src all-databases @@ -44,9 +44,6 @@ stamp-rootdirs: $(axiom_build_document) @$(STAMP) stamp-rootdirs -libtool: $(LIBTOOL_DEPS) - $(SHELL) ./config.status --recheck - .PHONY: all-noweb all-noweb: $(axiom_build_bindir)/notangle diff --git a/Makefile.pamphlet b/Makefile.pamphlet index b4f7aeb2..db7e3976 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -320,7 +320,7 @@ SUBDIRS = src build_srcdir = $(builddir)/src -AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-boot \ +AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-boot all-share \ all-clef all-doc all-graph all-hyper all-input all-interpsys \ all-lib all-lisp all-sman all-driver all-src all-databases @@ -463,9 +463,6 @@ stamp-rootdirs: $(axiom_build_document) @mkdir -p "${TMP}" @$(STAMP) stamp-rootdirs - -libtool: $(LIBTOOL_DEPS) - $(SHELL) ./config.status --recheck @ \subsection{\File{gcl/}} diff --git a/src/interp/i-coerfn.boot b/src/interp/i-coerfn.boot index 4d2c3df5..150e97e4 100644 --- a/src/interp/i-coerfn.boot +++ b/src/interp/i-coerfn.boot @@ -2079,7 +2079,7 @@ SETANDFILEQ($CoerceTable,NCONC($CoerceTable,'( _ (OrderedVariableList partial Sy2OV) _ (Polynomial total Sy2P) _ (UnivariatePolynomial indeterm Sy2Up) _ - (Variable indeterm Sy2Var) _ + (Variable partial Sy2Var) _ ) ) _ (UnivariatePolynomial . ( _ (DistributedMultivariatePolynomial indeterm Up2Dmp) _ |