#
# Makefile for the full rsl project.  Since it's currently sparse in terms of
# sudirs, particularly requirements and design, this makefile is accordingly
# sparse.
#
# As far as released versions of the project goes, the currently most important
# builds are in the documentation subdir, since the convention is not to
# archive any of the html, ps, or pdf files.  Hence, this make is critically
# important for building in a release dir to make sure that all of the doc
# files are generated.
#

project:
	csh -q -c "cd documentation/ref-man; \
		   make"
	csh -q -c "cd documentation/primer; \
		   .make"
	csh -q -c "cd implementation; \
		   make"
	csh -q -c "cd testing/implementation; \
		   make"