Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 8d1b338

Browse files
committed
Remove debugging echo.
1 parent e16f679 commit 8d1b338

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

Doc/tools/mkhowto.sh

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -228,7 +228,6 @@ for FILE in $@ ; do
228228
#
229229
TEXINPUTS=$FILEDIR:$COMMONTEXINPUTS
230230
export TEXINPUTS
231-
echo TEXINPUTS is $TEXINPUTS
232231
#
233232
if [ "$BUILD_DVI" -o "$BUILD_PS" ] ; then
234233
build_dvi $FILE 2>&1 | tee -a $LOGFILE

0 commit comments

Comments
 (0)