diff options
Diffstat (limited to 'libguile/guile-doc-snarf.in')
| -rwxr-xr-x | libguile/guile-doc-snarf.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libguile/guile-doc-snarf.in b/libguile/guile-doc-snarf.in index 3009af070..9affee8cc 100755 --- a/libguile/guile-doc-snarf.in +++ b/libguile/guile-doc-snarf.in @@ -12,7 +12,7 @@ filename=`basename $fullfilename` # because the makefile redirects output to the .x file # which creates the file before the inclusion occurs) # --12/12/99 gjb -no_ext=`echo $filename | /bin/sed 's/\.[^.]*$//g'` +no_ext=`echo $filename | sed 's/\.[^.]*$//g'` dot_doc=${no_ext}.doc temp="/tmp/snarf.$$" |