Add .PHONY targets to top Makefile for non-file targets

When a make target doesn't result in a file of the same name, adding it
to a .PHONY target means make won't look for such a file, speeding the
build up a bit. This allows `make doxygen' to work since otherwise make
will consider the doxygen directory as up to date.

diff --git a/Makefile b/Makefile
index fffc3f959f7ec3f080a6da8d6a7e78e42e62caa2..1a0c6093b1326a70a45e5fffb92b53a9db9114ea 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -57,6 +57,9 @@ glcore:
 glcore-install:
        cd src/mesa/drivers/xorg ; $(MAKE) install
 
+.PHONY: default doxygen clean realclean install linux-directfb-install \
+       glcore glcore-install
+
 # If there's no current configuration file
 $(TOP)/configs/current:
        @echo
@@ -531,3 +534,6 @@ md5:
        @-md5sum $(GLUT_NAME).tar.gz
        @-md5sum $(GLUT_NAME).tar.bz2
        @-md5sum $(GLUT_NAME).zip
+
+.PHONY: tarballs rm_depend lib_gz demo_gz glut_gz lib_bz2 demo_bz2 \
+       glut_bz2 lib_zip demo_zip glut_zip md5