Lines Matching refs:srcfile
72 -s SRCFILE read Texinfo from SRCFILE, instead of PACKAGE.{texinfo|texi|txi}
138 srcfile=
145 -s) shift; srcfile=$1;;
172 if test -n "$srcfile"; then
173 # but here, we use the basename of $srcfile
174 base=`basename "$srcfile"`
180 srcfile=$srcdir/$PACKAGE.texinfo
182 srcfile=$srcdir/$PACKAGE.texi
184 srcfile=$srcdir/$PACKAGE.txi
250 echo "Generating output formats for $srcfile"
252 cmd="$SETLANG $MAKEINFO -o $PACKAGE.info $commonarg $infoarg \"$srcfile\""
261 cmd="$SETLANG $TEXI2DVI $commonarg \"$srcfile\""
270 cmd="$SETLANG $TEXI2DVI --pdf $commonarg \"$srcfile\""
277 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\""
288 cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html $opt \"$srcfile\""
306 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\""
317 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\""
331 cmd="$SETLANG $TEXI2HTML $opt \"$srcfile\""
346 d=`dirname $srcfile`
356 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\" >${srcdir}/$PACKAGE-db.xml"
