diff options
| author | Björn Gohla <b.gohla@gmx.de> | 2019-08-30 00:53:26 (GMT) |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-23 21:53:23 (GMT) |
| commit | dbbea5a84df16ac60b563ac31496139263875eaf (patch) | |
| tree | 98e81c10347e42e16f69c00c9b86326fbef763bb | |
| parent | 4470a144d03e331656002f6ad70fd6a8d78d25bf (diff) | |
| download | ghc-dbbea5a84df16ac60b563ac31496139263875eaf.zip ghc-dbbea5a84df16ac60b563ac31496139263875eaf.tar.gz ghc-dbbea5a84df16ac60b563ac31496139263875eaf.tar.bz2 | |
use the Make builder instead of raw cmd_
| -rw-r--r-- | hadrian/src/Rules/Documentation.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/hadrian/src/Rules/Documentation.hs b/hadrian/src/Rules/Documentation.hs index e7cbf22..74c877a 100644 --- a/hadrian/src/Rules/Documentation.hs +++ b/hadrian/src/Rules/Documentation.hs @@ -264,6 +264,7 @@ buildSphinxPdf path = do ------------------------------------ Info -- ----------------------------------- +-- | Build the user guide as an Info hypertext buildSphinxInfoGuide :: Rules () buildSphinxInfoGuide = do root <- buildRootRules @@ -274,7 +275,10 @@ buildSphinxInfoGuide = do rstFiles <- getDirectoryFiles rstFilesDir ["**/*.rst"] need (map (rstFilesDir -/-) rstFiles) build $ target docContext (Sphinx Info) [pathPath path] [dir] - cmd_ "make -C " [dir] + -- Sphinx outputs texinfo source and a makefile, the + -- default target actually produces the target for this + -- build rule. + build $ target docContext (Make dir) ["Makefile"] [dir] copyFileUntracked (dir -/- path <.> "info") file ------------------------------------ Archive ----------------------------------- |