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: