40ecf58d4b
This does not change the overall license of the git-annex program, which was already AGPL due to a number of sources files being AGPL already. Legally speaking, I'm adding a new license under which these files are now available; I already released their current contents under the GPL license. Now they're dual licensed GPL and AGPL. However, I intend for all my future changes to these files to only be released under the AGPL license, and I won't be tracking the dual licensing status, so I'm simply changing the license statement to say it's AGPL. (In some cases, others wrote parts of the code of a file and released it under the GPL; but in all cases I have contributed a significant portion of the code in each file and it's that code that is getting the AGPL license; the GPL license of other contributors allows combining with AGPL code.)
63 lines
1.4 KiB
Haskell
63 lines
1.4 KiB
Haskell
{- Build man pages.
|
|
-
|
|
- Copyright 2016 Joey Hess <id@joeyh.name>
|
|
-
|
|
- Licensed under the GNU AGPL version 3 or higher.
|
|
-}
|
|
|
|
{-# OPTIONS_GHC -fno-warn-tabs #-}
|
|
|
|
module Build.Mans where
|
|
|
|
import System.Directory
|
|
import System.FilePath
|
|
import Data.List
|
|
import Control.Monad
|
|
import System.Process
|
|
import System.Exit
|
|
import Data.Maybe
|
|
import Utility.Exception
|
|
import Control.Applicative
|
|
import Prelude
|
|
|
|
buildMansOrWarn :: IO ()
|
|
buildMansOrWarn = do
|
|
mans <- buildMans
|
|
when (any isNothing mans) $
|
|
error "mdwn2man failed"
|
|
|
|
buildMans :: IO [Maybe FilePath]
|
|
buildMans = do
|
|
mansrc <- filter isManSrc <$> getDirectoryContents "doc"
|
|
createDirectoryIfMissing False "man"
|
|
forM mansrc $ \f -> do
|
|
let src = "doc" </> f
|
|
let dest = srcToDest src
|
|
srcm <- getModificationTime src
|
|
destm <- catchMaybeIO $ getModificationTime dest
|
|
if (Just srcm > destm)
|
|
then do
|
|
r <- system $ unwords
|
|
[ "./Build/mdwn2man"
|
|
, progName src
|
|
, "1"
|
|
, src
|
|
, "> " ++ dest
|
|
]
|
|
if r == ExitSuccess
|
|
then return (Just dest)
|
|
else return Nothing
|
|
else return (Just dest)
|
|
|
|
isManSrc :: FilePath -> Bool
|
|
isManSrc s
|
|
| not (takeExtension s == ".mdwn") = False
|
|
| otherwise = "git-annex" `isPrefixOf` f || "git-remote-" `isPrefixOf` f
|
|
where
|
|
f = takeFileName s
|
|
|
|
srcToDest :: FilePath -> FilePath
|
|
srcToDest s = "man" </> progName s ++ ".1"
|
|
|
|
progName :: FilePath -> FilePath
|
|
progName = dropExtension . takeFileName
|