#**************************************************************************
#
#	Makefile for printing out which version of the makefile
#	has been created, if any.
#
#	October 1996
#	Columbia University
#
#**************************************************************************

SHELL=/bin/sh
MAKESHELL=/bin/sh
version:
	@if test $(VERSION) ; \
          then echo 'Makefile version: $(VERSION)' on host `hostname`; \
	  else (echo '   Warning no VERSION set (on host' `hostname`')!');\
        fi
version2:
	@if test $(VERSION) ; \
          then echo 'Makefile version:'; echo '$(VERSION)' on host `hostname`; \
	  else (echo '   Warning no VERSION set (on host' `hostname`')!');\
        fi