Skip to content
Snippets Groups Projects
Commit dbbea5a8 authored by Björn Gohla's avatar Björn Gohla Committed by Marge Bot
Browse files

use the Make builder instead of raw cmd_

parent 4470a144
No related merge requests found
......@@ -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 -----------------------------------
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment