Searched refs:STDHEAD (Results 1 – 1 of 1) sorted by relevance
58 STDHEAD='<meta http-equiv="cache-control" content="no-cache"></meta>1191 print "$HTML<head>$STDHEAD"1240 print "$HTML<head>$STDHEAD" > $WDIR/$DIR/$TNAME.lhs.html1260 print "$FRAMEHTML<head>$STDHEAD" > $WDIR/$DIR/$TNAME.frames.html3267 print "$HTML<head>$STDHEAD"