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)
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

index 3a654da..069634b 100644 (file)
@@ -32,7 +32,6 @@ utils/mkUserGuidePart_GENERATED_FLAGS_SETS := \
   plugin                      \
   profiling                   \
   program-coverage            \
-  recompilating-checking      \
   recompilation-checking      \
   redirecting-output          \
   temporary-files             \
@@ -45,7 +44,7 @@ utils/mkUserGuidePart_GENERATED_RST_SOURCES_BLESSED_FILE := \
 
 utils/mkUserGuidePart_GENERATED_RST_SOURCES_OTHER_FILES := \
                $(addprefix docs/users_guide/flags-,$(addsuffix .gen.rst,$(utils/mkUserGuidePart_GENERATED_FLAGS_SETS))) \
-               docs/man/all-flags.gen.rst
+               docs/users_guide/all-flags.gen.rst
 
 utils/mkUserGuidePart_GENERATED_RST_SOURCES := \
                $(utils/mkUserGuidePart_GENERATED_RST_SOURCES_BLESSED_FILE) \