--disable-sgmltools is not recognized

[GoogleCodeExporter]

What steps will reproduce the problem?
1. ./configure --disable-sgmltools

What is the expected output? What do you see instead?
I expect it does recognize the "--disable-sgmltools" as "./configure --help" 
says it is a valid argument, but it doesn't recognize it.

What version of the product are you using? On what operating system?
Terrain 0.9.5, on Linux Slackware64

Please provide any additional information below.
I found that "--disable-sgml2html" is recognized and does what I wanted, but I 
don't know if it does the same thing of what a "--disable-sgmltools" should do.

Original issue reported on code.google.com by [email protected] on 22 Feb 2012 at 11:02