summaryrefslogtreecommitdiff
path: root/old-examples/dialogue/Makefile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
commit5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch)
tree65da19829810b753345a5b2164bef2d8876268dd /old-examples/dialogue/Makefile
parentf7b2a83059697f1b36a6369e489ac276e7ff875d (diff)
took away old-examples
Diffstat (limited to 'old-examples/dialogue/Makefile')
-rw-r--r--old-examples/dialogue/Makefile14
1 files changed, 0 insertions, 14 deletions
diff --git a/old-examples/dialogue/Makefile b/old-examples/dialogue/Makefile
deleted file mode 100644
index 475736740..000000000
--- a/old-examples/dialogue/Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-lights:
- echo "s ;; pm | wf lights.gfcm" | gf Lights*.gf
-
-agenda:
- echo "s ;; pm | wf agenda.gfcm" | gf Agenda*.gf
-
-engcorpus:
- echo "gt -depth=4 | pt -transform=typecheck | l -all" | gf LightsEng.gf
-
-swecorpus:
- echo "gt -depth=4 | pt -transform=typecheck | l -all" | gf LightsSwe.gf
-
-doc:
- txt2tags -thtml -ogf-dialogue.html README.txt