diff options
Diffstat (limited to 'makefiles')
| -rw-r--r-- | makefiles/Makefile.os2x | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/makefiles/Makefile.os2x b/makefiles/Makefile.os2x index a559f07be..cf83e8ef3 100644 --- a/makefiles/Makefile.os2x +++ b/makefiles/Makefile.os2x @@ -1,5 +1,5 @@ # -# "$Id: Makefile.os2x,v 1.2 1998/12/02 17:22:54 mike Exp $" +# "$Id: Makefile.os2x,v 1.3 1998/12/29 14:59:00 mike Exp $" # # Top-level makefile for the Fast Light Tool Kit (FLTK). # @@ -35,6 +35,8 @@ all: echo "=== making test ===" touch test/makedepend cd test & $(MAKE) + echo "=== making documentation ===" + cd documentation & $(MAKE) install: echo "=== installing src ===" @@ -43,6 +45,8 @@ install: echo "=== installing fluid ===" touch fluid/makedepend cd fluid & $(MAKE) install + echo "=== installing documentation ===" + cd documentation & $(MAKE) install depend: echo "=== making src dependencies ===" @@ -54,6 +58,8 @@ depend: echo "=== making test dependencies ===" touch test/makedepend cd test & $(MAKE) depend + echo "=== making documentation dependencies ===" + cd documentation & $(MAKE) depend clean: -@ rm -f core config.cache *.o *.bck @@ -66,7 +72,9 @@ clean: echo "=== cleaning test ===" touch test/makedepend cd test & $(MAKE) clean + echo "=== cleaning documentation ===" + cd documentation & $(MAKE) clean # -# End of "$Id: Makefile.os2x,v 1.2 1998/12/02 17:22:54 mike Exp $". +# End of "$Id: Makefile.os2x,v 1.3 1998/12/29 14:59:00 mike Exp $". # |