diff options
Diffstat (limited to 'doc/user/src/prgm1.skb')
| -rw-r--r-- | doc/user/src/prgm1.skb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/user/src/prgm1.skb b/doc/user/src/prgm1.skb index dcdeb88..53b24d2 100644 --- a/doc/user/src/prgm1.skb +++ b/doc/user/src/prgm1.skb @@ -1,15 +1,15 @@ (frame :width 100. (prog :line 10 :mark "##" [ -SKRIBE=skribe +SKRIBILO = skribilo -all: demo.html demo.man ##main-goal +all: demo.html demo.lout ##main-goal demo.html: demo.skb - $(SKRIBE) demo.skb -o demo.html + $(SKRIBILO) -t html demo.skb -o demo.html -demo.man: demo.skb - $(SKRIBE) demo.skb -o demo.man +demo.lout: demo.skb + $(SKRIBILO) -t lout demo.skb -o demo.lout ])) -(p [The main goal is specified line ,(ref :line "main-goal").]) +(p [The main goal is specified on line ,(ref :line "main-goal").]) |