slaesvuo/hledger
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

help: use more standard names for tool manuals

Browse Source 
[ci skip]
This commit is contained in:
Simon Michael 2017-07-08 07:36:52 +01:00
parent 6df81962ed
commit 5e69d6de84
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
hledger/Hledger/Cli/DocFiles.hs
View File

@ -34,22 +34,22 @@ type Topic = String
docFiles :: IsString a => [(Topic, (a, a, a))] docFiles :: IsString a => [(Topic, (a, a, a))]
docFiles = [ docFiles = [
("cli", ("hledger",
($(makeRelativeToProject "doc/hledger.1" >>= embedStringFile) ($(makeRelativeToProject "doc/hledger.1" >>= embedStringFile)
,$(makeRelativeToProject "doc/hledger.1.txt" >>= embedStringFile) ,$(makeRelativeToProject "doc/hledger.1.txt" >>= embedStringFile)
,$(makeRelativeToProject "doc/hledger.1.info" >>= embedStringFile) ,$(makeRelativeToProject "doc/hledger.1.info" >>= embedStringFile)
)) ))
,("ui", ,("hledger-ui",
($(makeRelativeToProject "doc/other/hledger-ui.1" >>= embedStringFile) ($(makeRelativeToProject "doc/other/hledger-ui.1" >>= embedStringFile)
,$(makeRelativeToProject "doc/other/hledger-ui.1.txt" >>= embedStringFile) ,$(makeRelativeToProject "doc/other/hledger-ui.1.txt" >>= embedStringFile)
,$(makeRelativeToProject "doc/other/hledger-ui.1.info" >>= embedStringFile) ,$(makeRelativeToProject "doc/other/hledger-ui.1.info" >>= embedStringFile)
)) ))
,("web", ,("hledger-web",
($(makeRelativeToProject "doc/other/hledger-web.1" >>= embedStringFile) ($(makeRelativeToProject "doc/other/hledger-web.1" >>= embedStringFile)
,$(makeRelativeToProject "doc/other/hledger-web.1.txt" >>= embedStringFile) ,$(makeRelativeToProject "doc/other/hledger-web.1.txt" >>= embedStringFile)
,$(makeRelativeToProject "doc/other/hledger-web.1.info" >>= embedStringFile) ,$(makeRelativeToProject "doc/other/hledger-web.1.info" >>= embedStringFile)
)) ))
,("api", ,("hledger-api",
($(makeRelativeToProject "doc/other/hledger-api.1" >>= embedStringFile) ($(makeRelativeToProject "doc/other/hledger-api.1" >>= embedStringFile)
,$(makeRelativeToProject "doc/other/hledger-api.1.txt" >>= embedStringFile) ,$(makeRelativeToProject "doc/other/hledger-api.1.txt" >>= embedStringFile)
,$(makeRelativeToProject "doc/other/hledger-api.1.info" >>= embedStringFile) ,$(makeRelativeToProject "doc/other/hledger-api.1.info" >>= embedStringFile)