From cdb54a33c37ced8f90549c2b760988d15fbeffaf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Sep 1998 11:07:06 +0000
Subject: Added FORCE dependency for docs.

---
 Makefile.devel | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index d47915e7..430a59f1 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -123,10 +123,10 @@ distclean:	clean
 #
 # Documentation
 #
-doc:
+doc:	FORCE
 	(cd doc; $(MAKE) doc)
 
-alldocs:
+alldocs: FORCE
 	(cd doc; $(MAKE) all)
 
 
-- 
cgit v1.2.3