diff options
Diffstat (limited to 'src/Makefile.in')
-rw-r--r-- | src/Makefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 0ab6dd64..bc2835dd 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -32,8 +32,6 @@ all-share: cd share && ${MAKE} all-doc: cd doc && ${MAKE} -all-book: - cd booklets && ${MAKE} all-lib: @cd lib && $(MAKE) $@ all-lisp: all-lib |