aboutsummaryrefslogtreecommitdiff
path: root/doc/user/src/prgm1.skb
diff options
context:
space:
mode:
authorLudovic Courtès2008-02-03 21:39:42 +0100
committerLudovic Courtès2008-02-03 21:39:42 +0100
commit71529195046227ccbecfd84d9492cc3a1f91f310 (patch)
tree4299ef3eed651ad7135d19c025ffe6d50adbd891 /doc/user/src/prgm1.skb
parentd13911b6c6bac9fb3ad20d6cb39e2002759f8496 (diff)
downloadskribilo-71529195046227ccbecfd84d9492cc3a1f91f310.tar.gz
skribilo-71529195046227ccbecfd84d9492cc3a1f91f310.tar.lz
skribilo-71529195046227ccbecfd84d9492cc3a1f91f310.zip
doc: Improve chapter on computer program highlighting.
Diffstat (limited to 'doc/user/src/prgm1.skb')
-rw-r--r--doc/user/src/prgm1.skb12
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").])