>>>>> "Joost" == Joost Verburg <[EMAIL PROTECTED]> writes:
Joost> Jean-Marc Lasgouttes wrote: Yes, it's empty: \chktex_command "" Joost> But still the menu item is displayed. >> What about this patch? Joost> Works fine, problem is solved. I applied it. JMarc
