diff options
Diffstat (limited to 'noao/imred/hydra/demos/demos.cl')
| -rw-r--r-- | noao/imred/hydra/demos/demos.cl | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/noao/imred/hydra/demos/demos.cl b/noao/imred/hydra/demos/demos.cl new file mode 100644 index 00000000..5b065c51 --- /dev/null +++ b/noao/imred/hydra/demos/demos.cl @@ -0,0 +1,18 @@ +# DEMOS -- Run specified demo provided a demo file exists. + +procedure demos (demoname) + +file demoname {prompt="Demo name"} + +begin + file demo, demofile + + if ($nargs == 0 && mode != "h") + type ("demos$demos.men") + demo = demoname + demofile = "demos$" // demo // ".cl" + if (access (demofile)) + cl (< demofile) + else + error (1, "Unknown demo " // demo) +end |