As said. This flag was removed from configure.py a while ago. It was only ever used with HTML export, and it didn't work there, anyway. I didn't remove it from Converters.* at that time, because I was intending to make more extensive changes to this file in connection with HTML export. But it turned out I didn't need to do that, so all that needs doing now is this little bit of cleanup.
OK to commit? Richard -- ================================================================== Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ ================================================================== Get my public key from http://sks.keyserver.penguin.de Hash: 0x1DE91F1E66FFBDEC Learn how to sign your email using Thunderbird and GnuPG at: http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto