diff options
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 995e11c1..c491aa1c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -347,6 +347,9 @@ $(top_builddir)/doc/refman.pdf: $(top_builddir)/doc/html/index.html docs: pdf $(top_builddir)/doc/refman.pdf +libs: + (cd lib; make) + ###################################################################### copy-sources: |