library:
	cd source; $(MAKE)
demos:
	cd demos; $(MAKE)
docs:
	cd docs; $(MAKE)
clean:
	@echo Clean up files
	/bin/rm -f *.o *~ core
	cd source; /bin/rm -rf core *.o *~
	cd demos; /bin/rm -rf core *.o *~
	cd docs; /bin/rm -rf core *~ *.log *.lis
