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