Menu ▾ ▴

#5380 Fix `make doc` with non-clean build directory

Fixed
Masamichi Hosoda
Fixed_2_21_0 (565)
Enhancement
2018-07-19
2018-07-13
Masamichi Hosoda
No

Fix make doc with non-clean build directory

There was a possibility that the wrong PDF is output
if the build directory is not clean.

This commit makes make doc removes old files
in the destination directories offline-root and online-root.

http://codereview.appspot.com/355750043

Discussion

  • Masamichi Hosoda

    Masamichi Hosoda - 2018-07-14
     

  • Anonymous

    Anonymous - 2018-07-14
    • Description has changed:

    Diff:
    • Needs: -->
    • Patch: new --> review
    • Type: --> Enhancement
     

  • Anonymous

    Anonymous - 2018-07-14

    Passes make and a full make doc

     

  • Anonymous

    Anonymous - 2018-07-16
    • Patch: review --> countdown
     

  • Anonymous

    Anonymous - 2018-07-16

    Patch on countdown for July 19th.

     

  • Anonymous

    Anonymous - 2018-07-19
    • Patch: countdown --> push
     

  • Anonymous

    Anonymous - 2018-07-19

    Patch counted down - please push.

     

  • Masamichi Hosoda

    Masamichi Hosoda - 2018-07-19
    • labels: --> Fixed_2_21_0
    • status: Started --> Fixed
    • Patch: push -->
     

  • Masamichi Hosoda

    Masamichi Hosoda - 2018-07-19

    I've pushed to staging.

    commit 37377b14f940176dfafdc60401645191c7f7c2e1
    Date: Sat Jul 14 00:39:26 2018 +0900

    Issue 5380: Fix make doc with non-clean build directory