From d9bb3b6ba4d75814b63b3308e333f9d3ad8a85ee Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 26 Oct 2009 02:06:47 +0000 Subject: Remove duplicate libtool target --- Makefile.pamphlet | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'Makefile.pamphlet') 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/}} -- cgit v1.2.3