From b959d8ebd9821c8be99511316b3fb0d65a4dc156 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 May 2005 19:12:01 +0000
Subject: Add missing lib/

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.devel b/Makefile.devel
index f6e93238..5b427830 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -312,7 +312,7 @@ cvsclean:	clean
 #
 autoloads: $(EL)
 	@echo "***** MAKING AUTOGENERATED AUTOLOADS  ****"
-	$(BATCHEMACS) -eval '(setq autoload-package-name "proof" generated-autoload-file "$(PWD)/generic/proof-autoloads.el")' -f batch-update-autoloads  generic/
+	$(BATCHEMACS) -eval '(setq autoload-package-name "proof" generated-autoload-file "$(PWD)/generic/proof-autoloads.el")' -f batch-update-autoloads  generic/ lib/
 
 
 
-- 
cgit v1.2.3