comparison TOOLS/mphelp_check.py @ 29963:550b899f9b7a

Do not pointlessly set the HTMLFILE variable when running xmllint.
author diego
date Sun, 13 Dec 2009 22:25:08 +0000
parents 9065db6f98d9
children 8715803f09e8
comparison
equal deleted inserted replaced
29962:fd112c1ef46e 29963:550b899f9b7a