status of linuxodc

[Jean-Marc Lasgouttes]

I was under the impression that linuxdoc support got removed, but it is
still present in configure.py. What is the status?

JMarc