;shake: don't regenerate dir for now

This commit is contained in:
Simon Michael 2021-08-02 22:12:04 -10:00
parent 1d278993bc
commit 003391e102

View File

@ -224,7 +224,7 @@ main = do
-- an Info directory entry for each package's info manual (hledger/dir-entry.texi) -- an Info directory entry for each package's info manual (hledger/dir-entry.texi)
infodirentries = [manualDir m </> "dir-entry.texi" | m <- manualNames] infodirentries = [manualDir m </> "dir-entry.texi" | m <- manualNames]
-- a generated Info directory file for easily accessing/linking the dev version of all the info manuals -- a generated Info directory file for easily accessing/linking the dev version of all the info manuals
infodir = "dir" -- infodir = "dir"
-- manuals as sphinx-ready markdown, to be rendered as part of the website (hledger/hledger.md) -- manuals as sphinx-ready markdown, to be rendered as part of the website (hledger/hledger.md)
webmanuals = [manualDir m </> m <.> "md" | m <- manualNames] webmanuals = [manualDir m </> m <.> "md" | m <- manualNames]
@ -397,13 +397,13 @@ main = do
need $ concat [ need $ concat [
nroffmanuals nroffmanuals
,infomanuals ,infomanuals
,[infodir] -- ,[infodir]
,txtmanuals ,txtmanuals
,webmanuals ,webmanuals
] ]
when commit $ do when commit $ do
let msg = ";doc: update manuals" let msg = ";doc: update manuals"
cmd Shell gitcommit ("-m '"++msg++"' --") packagemandatem4s nroffmanuals infomanuals infodirentries infodir txtmanuals cmd Shell gitcommit ("-m '"++msg++"' --") packagemandatem4s nroffmanuals infomanuals infodirentries txtmanuals -- infodir
-- Update the dates to show in man pages, to the current month and year. -- Update the dates to show in man pages, to the current month and year.
-- Currently must be run manually when needed. -- Currently must be run manually when needed.
@ -482,11 +482,15 @@ main = do
"-t texinfo ) |" "-t texinfo ) |"
makeinfo "-o" out makeinfo "-o" out
-- XXX This generates ./dir, for previewing latest dev manuals in Info's directory.
-- For that we need subdirectory paths like "hledger: (hledger/hledger)",
-- but this generates "hledger: (hledger)". Don't regenerate dir for now.
--
-- Generate an Info dir file which can be included with info -d -- Generate an Info dir file which can be included with info -d
-- or INFOPATH to add hledger menu items in Info's Directory. -- or INFOPATH to add hledger menu items in Info's Directory.
infodir %> \out -> do -- infodir %> \out -> do
need infomanuals -- need infomanuals
forM_ infomanuals $ \info -> cmd_ Shell "install-info" info out -- forM_ infomanuals $ \info -> cmd_ Shell "install-info" info out
phony "infomanuals" $ need $ infomanuals ++ [infodir] phony "infomanuals" $ need $ infomanuals ++ [infodir]