Lines Matching refs:DESTDIR
5 # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing
30 DESTDIR=${DESTDIR-HTML}
34 if [ ! -d $DESTDIR ]; then
35 mkdir -p $DESTDIR
47 ) > $DESTDIR/gcc-vers.texi
55 $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include -I $DESTDIR $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/temp.html
57 sed -e 's/_002d/-/g' -e 's/_002a/*/g' $DESTDIR/temp.html > $DESTDIR/$x
58 rm $DESTDIR/temp.html
61 rm $DESTDIR/gcc-vers.texi