diff options
author | michelou <michelou@epfl.ch> | 2005-08-15 15:13:44 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-08-15 15:13:44 +0000 |
commit | ec4245fc4ef843d1775137fc36380a792f37c61e (patch) | |
tree | 57c02e3d88e04944b73b581b96b13b47c71a9777 | |
parent | 6b0fcaab0eb0fc9fbb961a804b415b237daa8811 (diff) | |
download | scala-ec4245fc4ef843d1775137fc36380a792f37c61e.tar.gz scala-ec4245fc4ef843d1775137fc36380a792f37c61e.tar.bz2 scala-ec4245fc4ef843d1775137fc36380a792f37c61e.zip |
*** empty log message ***
-rw-r--r-- | doc/Makefile | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000000..fffeb3bf7c --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,38 @@ +############################################################-*-Makefile-*-#### +# Scala documentation +############################################################################## +# $Id$ + + +############################################################################## + +SUBDIRS += introduction +SUBDIRS += papers +SUBDIRS += reference +SUBDIRS += tutorial + +MAKE = make + +############################################################################## +# Commands + +all: + @for dir in $(SUBDIRS); do \ + $(MAKE) -C $$dir; \ + done + +clean: + @for dir in $(SUBDIRS); do \ + $(MAKE) clean -C $$dir; \ + done + +distclean: + @for dir in $(SUBDIRS); do \ + $(MAKE) distclean -C $$dir; \ + done + +.PHONY: all +.PHONY: clean +.PHONY: distclean + +############################################################################## |