From 2112f7b9b4cbc6cc9ecc9297770838119191afcb Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 8 Jul 2015 10:07:42 +0000 Subject: [PATCH] Fix javadoc target in main Makefile git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10229 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 9153bfcf..5faf262a 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -501,10 +501,10 @@ tarcf: echo Building tar file "../"$$TARCF_DIR".tar.gz" && \ (cd ..; tar cfz $$TARCF_DIR".tar.gz" $$TARCF_DIR) -PRISM_CLASSPATH = "$(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR)$(CLASSPATHSEP)$(THIS_DIR)/$(PRISM_DIR_REL)/lib/*" +PRISM_CLASSPATH = "$(CLASSES_DIR)$(CLASSPATHSEP)$(LIB_DIR)/*" javadoc: - @JAVADOC_DIRS=`echo $(MAKE_DIRS) | sed 's/\//./g' | sed 's/ /:/g'` && \mkdir -p javadoc; javadoc $(JFLAGS) -d javadoc -overview $(SRC_DIR)/overview.html -sourcepath $(SRC_DIR) -classpath $(SRC_DIR)$(CLASSPATHSEP)$(PRISM_CLASSPATH) -subpackages $$JAVADOC_DIRS + @JAVADOC_DIRS=`echo $(MAKE_DIRS) | sed 's/\//./g' | sed 's/ /:/g'` && \mkdir -p javadoc; javadoc $(JFLAGS) -d javadoc -overview $(SRC_DIR)/overview.html -sourcepath $(SRC_DIR) -classpath $(SRC_DIR)$(CLASSPATHSEP)$(PRISM_CLASSPATH) -subpackages $$JAVADOC_DIRS -exclude parser clean: checks @(for dir in $(MAKE_DIRS); do \