diff --git a/build/Makefile b/build/Makefile index 67016c06e8..596c900eee 100644 --- a/build/Makefile +++ b/build/Makefile @@ -25,3 +25,9 @@ install: @echo " + $(MAKE) samples +" @echo " + +" @echo " +---------------------------------------------+" + + + +.PHONY: check dvi html info install-data \ + install-dvi install-exec install-html install-info install-pdf install-ps installcheck installdirs pdf \ + ps uninstall mostlyclean clean distclean maintainer-clean