diff options
| author | Sergei Trofimovich <siarheit@google.com> | 2015-12-05 10:05:54 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <siarheit@google.com> | 2015-12-05 10:17:12 +0000 |
| commit | 13ab2c64a7e98bab391222dbd015ea3a4b91a9ed (patch) | |
| tree | 3c5bf319195659cf358dc1774766949e4dc46be4 /utils | |
| parent | d6512c740c653d2a58a7fc73b777e50d02f786b1 (diff) | |
| download | haskell-13ab2c64a7e98bab391222dbd015ea3a4b91a9ed.tar.gz | |
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>
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mkUserGuidePart/ghc.mk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/utils/mkUserGuidePart/ghc.mk b/utils/mkUserGuidePart/ghc.mk index 3a654da8ec..069634b96d 100644 --- a/utils/mkUserGuidePart/ghc.mk +++ b/utils/mkUserGuidePart/ghc.mk @@ -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) \ |