290
289
DU, IRIX). You might want to install the \`Texinfo' package or
291
290
the \`GNU make' package. Grab either from any GNU archive site."
292
291
# The file to touch is that specified with -o ...
296
294
# ... or it is the one specified with @setfilename ...
297
295
infile=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
304
297
# ... or it is derived from the source name (dir/f.texi becomes f.info)
305
298
test -z "$file" && file=`echo "$infile" | sed 's,.*/,,;s,.[^.]*$,,'`.info