summaryrefslogtreecommitdiff
path: root/miralib/manual/99
blob: 1a8feb81f9369ee9b2d1c4a50ff9a77daf676e51 (plain) 
1
2
3
4
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
generated by cgit v1.2.1 (git 2.18.0) at 2024-12-22 19:29:23 +0000