diff options
Diffstat (limited to 'examples/dialogue/Makefile')
| -rw-r--r-- | examples/dialogue/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/examples/dialogue/Makefile b/examples/dialogue/Makefile new file mode 100644 index 000000000..99d8d0895 --- /dev/null +++ b/examples/dialogue/Makefile @@ -0,0 +1,14 @@ +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 README.txt |