diff TOOLS/mphelp_check.py @ 29330:15b88aba9fe6

Fix setting of DOC_LANGS and MAN_LANGS, the wrong variables were being used. This makes XML documentation generation work again.
author diego
date Fri, 19 Jun 2009 15:20:59 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff