Fix a bug of ´make install´ step: missing ´make docs´

This commit is contained in:
vsr 2005-11-02 11:12:15 +00:00
parent 545554d23d
commit 222b83a9ee

View File

@ -25,9 +25,9 @@ distclean: clean
rm -fr GEOM
install:
$(MAKE) docs
mkdir -p $(docdir)
cp -rf GEOM $(docdir)
-find $(PWD) -name CVS -exec rm -rf {} \;
uninstall:
rm -rf $(docdir)/GEOM