Skip to content

Commit

Permalink
Explain rationale
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed Aug 2, 2022
1 parent d57e0e8 commit f87da95
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion docs/developer/release/release_build.py
Expand Up @@ -267,7 +267,8 @@ def build_checker_framework_release(
ant_props,
)
execute(ant_cmd, True, False, CHECKER_FRAMEWORK_RELEASE)
# Also rebuild the manual and API documentation, which come from source files that have just been changed.
# Update version numbers in the manual and API documentation,
# which come from source files that have just been changed.
# Otherwise the manual and API documentation show up in the grep command below.
execute("./gradlew allJavadoc manual", working_dir=CHECKER_FRAMEWORK)

Expand Down

0 comments on commit f87da95

Please sign in to comment.