ghc.mk: fix docs re-rebuilding
authorSergei Trofimovich <siarheit@google.com>
Sat, 5 Dec 2015 10:05:54 +0000 (10:05 +0000)
committerSergei Trofimovich <siarheit@google.com>
Sat, 5 Dec 2015 10:17:12 +0000 (10:17 +0000)
commit13ab2c64a7e98bab391222dbd015ea3a4b91a9ed
tree3c5bf319195659cf358dc1774766949e4dc46be4
parentd6512c740c653d2a58a7fc73b777e50d02f786b1
ghc.mk: fix docs re-rebuilding

The problem:
    $ make
    <watch sphinx rebuilds docs>
    # no changes in sources
    $ make
    <watch sphinx rebuilds docs again>

The problem was due to wrong assumption about what
files exactly are generated by mkUserGuidePart.

Build system expected the following files to be created:
    docs/man/all-flags.gen.rst
    flags-recompilating-checking.gen.rst
but mkUserGuidePart generated:
    docs/users_guide/all-flags.gen.rst
    flags-recompilation-checking.gen.rst

Signed-off-by: Sergei Trofimovich <siarheit@google.com>
utils/mkUserGuidePart/ghc.mk