summaryrefslogtreecommitdiff
path: root/skribe/doc/user/src/prgm1.skb
diff options
context:
space:
mode:
Diffstat (limited to 'skribe/doc/user/src/prgm1.skb')
-rw-r--r--skribe/doc/user/src/prgm1.skb15
1 files changed, 0 insertions, 15 deletions
diff --git a/skribe/doc/user/src/prgm1.skb b/skribe/doc/user/src/prgm1.skb
deleted file mode 100644
index dcdeb88..0000000
--- a/skribe/doc/user/src/prgm1.skb
+++ /dev/null
@@ -1,15 +0,0 @@
-(frame :width 100.
- (prog :line 10 :mark "##" [
-SKRIBE=skribe
-
-all: demo.html demo.man ##main-goal
-
-demo.html: demo.skb
- $(SKRIBE) demo.skb -o demo.html
-
-demo.man: demo.skb
- $(SKRIBE) demo.skb -o demo.man
-]))
-
-(p [The main goal is specified line ,(ref :line "main-goal").])
-