Searched refs:TNAME (Results 1 – 1 of 1) sorted by relevance
1013 TNAME=$31192 print "<title>$WNAME Sdiff $TPATH/$TNAME</title>"1209 framed_sdiff $TNAME $TPATH /tmp/$$.file1.html /tmp/$$.file2.html \1229 typeset TNAME=$11240 print "$HTML<head>$STDHEAD" > $WDIR/$DIR/$TNAME.lhs.html1242 cat >> $WDIR/$DIR/$TNAME.lhs.html <<-EOF1250 cp $WDIR/$DIR/$TNAME.lhs.html $WDIR/$DIR/$TNAME.rhs.html1252 insert_anchors $lhsfile >> $WDIR/$DIR/$TNAME.lhs.html1253 insert_anchors $rhsfile >> $WDIR/$DIR/$TNAME.rhs.html1257 print $close >> $WDIR/$DIR/$TNAME.lhs.html[all …]