Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8030716

make docs doesn't freshen cached options/directories

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Duplicate
    • Icon: P3 P3
    • None
    • None
    • infrastructure
    • None
    • 8

      When building the docs, the files in build/xxx/docstemp/doctmp do not get recomputed when the makefile changes or when the source files change.

      For example, changing the -Xdoclint option in the Javadoc.gmk does not change the docs build unless the docstemp is removed.

            Unassigned Unassigned
            rriggs Roger Riggs
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: