diff options
author | Andrew John Hughes <gnu_andrew@member.fsf.org> | 2008-08-21 00:32:01 +0000 |
---|---|---|
committer | Andrew John Hughes <gnu_andrew@member.fsf.org> | 2008-08-21 00:32:01 +0000 |
commit | 033cfc394d678d8750332c6d54328a39a8b18293 (patch) | |
tree | 93a0d0e20c06a94a48abd2973d0554255e8d0ce2 | |
parent | c70b1989f62293f5a10d5cd22b873475d92bcd25 (diff) | |
download | classpath-033cfc394d678d8750332c6d54328a39a8b18293.tar.gz |
Remove taglets from compilation when not building GJDoc.
2008-08-20 Andrew John Hughes <gnu_andrew@member.fsf.org>
* tools/Makefile.am:
Add taglets subdirectory to list of excluded
paths when GJDoc is not compiled.
-rw-r--r-- | ChangeLog | 6 | ||||
-rwxr-xr-x | tools/Makefile.am | 1 |
2 files changed, 7 insertions, 0 deletions
@@ -1,3 +1,9 @@ +2008-08-20 Andrew John Hughes <gnu_andrew@member.fsf.org> + + * tools/Makefile.am: + Add taglets subdirectory to list of excluded + paths when GJDoc is not compiled. + 2008-08-19 David P Grove <groved@us.ibm.com> * scripts/check_jni_methods.sh.in: diff --git a/tools/Makefile.am b/tools/Makefile.am index 2786954eb..3be825a9a 100755 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -262,6 +262,7 @@ gjdoc_resources = $(gnu_classpath_tools_gjdoc_jar_CSS) $(gnu_classpath_tools_gjd if !CREATE_GJDOC GJDOC_EX = -path '*gnu/classpath/tools/gjdoc' -prune -o \ -path '*gnu/classpath/tools/doclets' -prune -o \ + -path '*gnu/classpath/tools/taglets' -prune -o \ -path '*com/sun/javadoc' -prune -o \ -path '*com/sun/tools/doclets' -prune -o \ -path '*com/sun/tools/javadoc' -prune -o |