From c52a0646e1a26c843f94b34cfc342fb9a8651a86 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 7 Mar 2008 17:26:13 +0000
Subject: [PATCH] Improved javadoc command in Makefile.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@604 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/Makefile b/prism/Makefile
index 31ecf0bf..6e328609 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -267,6 +267,8 @@ ifeq ($(OSTYPE),darwin)
 	BIN_TARGETS=$(BIN_PRISM) $(BIN_XPRISM)
 endif
 
+.PHONY: clean javadoc
+
 default: all
 
 all: cuddpackage prism
@@ -409,7 +411,7 @@ tarcf:
 	(cd ..; tar cfz $$TARCF_DIR".tar.gz" $$TARCF_DIR)
 
 javadoc:
-	javadoc -classpath $(SRC_DIR) -d ../prism-dev/javadoc dd jdd odd dv mtbdd sparse hybrid parser prism userinterface
+	@JAVADOC_DIRS=`echo $(MAKE_DIRS) | sed 's/\//./g' | sed 's/ /:/g'` && \mkdir -p javadoc; javadoc -d javadoc -classpath $(SRC_DIR) -subpackages $$JAVADOC_DIRS
 
 clean: checks
 	@(for dir in $(MAKE_DIRS); do \