123456789101112131415161718192021222324252627282930313233343536 |
- #!/bin/sh
- fullfilename=$1
- filename=`basename $fullfilename`
- no_ext=`echo $filename | sed 's/\.[^.]*$//g'`
- dot_doc=${no_ext}.doc
- bindir=`dirname $0`
- ${bindir}/guile-snarf-docs "$@" > $dot_doc
- ${bindir}/guile-snarf "$@"
|