make docs doesn't freshen cached options/directories

XMLWordPrintable

    • Type: Bug
    • Resolution: Duplicate
    • Priority: P3
    • None
    • Affects Version/s: None
    • Component/s: 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.

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

              Created:
              Updated:
              Resolved: