diff options
Diffstat (limited to 'miralib/manual/99')
| -rwxr-xr-x | miralib/manual/99 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/miralib/manual/99 b/miralib/manual/99 new file mode 100755 index 0000000..1a8feb8 --- /dev/null +++ b/miralib/manual/99 @@ -0,0 +1,5 @@ +#! /bin/sh +echo a listing of the manual is being put in the file +echo "mira.man" in your home directory ... +echo +./printman > $HOME/mira.man |