mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-24 10:22:50 -06:00
fine-tuning api documentation
This commit is contained in:
@@ -7,7 +7,11 @@ gfs:
|
|||||||
runghc mkgfs.hs
|
runghc mkgfs.hs
|
||||||
|
|
||||||
exx:
|
exx:
|
||||||
gf ExxSwe.gf ExxGer.gf ExxFre.gf ExxFin.gf ExxEng.gf <exx.gfs
|
gf exxs.gfcm <exx.gfs
|
||||||
|
|
||||||
|
gfcm:
|
||||||
|
echo "pm | wf exxs.gfcm" | gf ExxSwe.gf ExxGer.gf ExxFin.gf ExxEng.gf
|
||||||
|
#ExxFre takes too long
|
||||||
|
|
||||||
html:
|
html:
|
||||||
cp ../Constructors.gf .
|
cp ../Constructors.gf .
|
||||||
|
|||||||
@@ -1,3 +1,5 @@
|
|||||||
|
import Char (isDigit)
|
||||||
|
|
||||||
src = "Constructors.html"
|
src = "Constructors.html"
|
||||||
tgt = "Cons.html"
|
tgt = "Cons.html"
|
||||||
linkfile ex = "links/" ++ ex ++ ".txt"
|
linkfile ex = "links/" ++ ex ++ ".txt"
|
||||||
@@ -8,7 +10,7 @@ main = do
|
|||||||
readFile src >>= (mapM_ mkLink . lines)
|
readFile src >>= (mapM_ mkLink . lines)
|
||||||
|
|
||||||
mkLink line = case break (=="--") (words (takeWhile (/='#')line)) of
|
mkLink line = case break (=="--") (words (takeWhile (/='#')line)) of
|
||||||
(fun : ":" : typ, _ : num : ex) ->
|
(fun : ":" : typ, _ : num : ex) | isDigit (head num) ->
|
||||||
appendFile tgt ("\n" ++ takeInit line ++ " " ++ link ex typ num)
|
appendFile tgt ("\n" ++ takeInit line ++ " " ++ link ex typ num)
|
||||||
_ -> appendFile tgt ("\n" ++ line)
|
_ -> appendFile tgt ("\n" ++ line)
|
||||||
where
|
where
|
||||||
|
|||||||
Reference in New Issue
Block a user