# Revision 1.111 2002/06/05 00:26:21 hal9
# Move all doc build stuff to doc/source/GNUmakefile, leaving a 'make dok'
# target only in toplevel. Add DOC_STATUS variable so docs can be built without
# Revision 1.111 2002/06/05 00:26:21 hal9
# Move all doc build stuff to doc/source/GNUmakefile, leaving a 'make dok'
# target only in toplevel. Add DOC_STATUS variable so docs can be built without