diff options
Diffstat (limited to 'Makefile.pamphlet')
| -rw-r--r-- | Makefile.pamphlet | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 971a52f8..e4a98cf0 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -462,6 +462,9 @@ stamp-rootdirs: $(axiom_build_document) @mkdir -p "${TMP}" @$(STAMP) stamp-rootdirs + +libtool: $(LIBTOOL_DEPS) + $(SHELL) ./config.status --recheck @ \subsection{\File{gcl/}} |