diff options
author | Mark Wielaard <mark@klomp.org> | 2006-11-25 14:55:42 +0000 |
---|---|---|
committer | Mark Wielaard <mark@klomp.org> | 2006-11-25 14:55:42 +0000 |
commit | 9237ae33653fec2c82805fc588325215faff2c2f (patch) | |
tree | 602278805046b4cc79c1fef4089b80c4260b1a25 /doc | |
parent | a10e1e8fd32383f5eb21aa2250cc45878a69da9d (diff) | |
download | classpath-9237ae33653fec2c82805fc588325215faff2c2f.tar.gz |
Fixes bug #28822
* doc/api/Makefile.am (create_html): Guard GJDOC invocation with
CREATE_API_DOCS
Diffstat (limited to 'doc')
-rw-r--r-- | doc/api/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/api/Makefile.am b/doc/api/Makefile.am index 96c586e07..b63b31f34 100644 --- a/doc/api/Makefile.am +++ b/doc/api/Makefile.am @@ -36,6 +36,7 @@ clean-local: create_html: -$(MKDIR) html > /dev/null 2>&1 +if CREATE_API_DOCS $(GJDOC) \ -use \ -sourcepath "$(sourcepath)" \ @@ -51,3 +52,4 @@ create_html: -header $(classpathbox) -footer $(classpathbox) \ -subpackages java:javax:org touch create_html +endif |