diff -r 5c5d970ef2f0 -r 69bde1d90c04 Makefile.am --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Makefile.am Thu May 06 13:48:04 2004 +0000 @@ -0,0 +1,8 @@ +SUBDIRS = src doc + +docs: + @cd doc \ + && $(MAKE) $(AM_MAKEFLAGS) clean \ + && $(MAKE) $(AM_MAKEFLAGS) all + +.PHONY: docs