#############################################################
#
# $Id: GNUmakefile,v 1.4 1999/10/29 17:08:52 hobbs Exp $
#
#############################################################

#  Use CTBUILD

include ctbuild/srt/srt.mk

#
#  Add a docpp target to make documentation (HLM)
#

.PHONY: docpp

docpp:
	@$(MAKE) -C doc docpp