[devhelp] attic: man2xml: add a comment describing what it does, and make it work

[Sébastien Wilmet <swilmet src gnome org>]

commit a16af56b89d7ac9d9070b3d4ad7c7d0a108d3d9f
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue May 22 11:53:20 2018 +0200

    attic: man2xml: add a comment describing what it does, and make it work
    
    The script doesn't check if a directory in MAN_PATH exists, it reads the
    directory directly. So it failed for me on Fedora 28 because /usr/man/
    and /usr/local/man/ don't exist.

 attic/man2xml.py |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/attic/man2xml.py b/attic/man2xml.py
index 8499eb9..a077a3e 100755
--- a/attic/man2xml.py
+++ b/attic/man2xml.py
@@ -3,8 +3,13 @@ import os
 import os.path
 import string
 
+# Generates a *.devhelp index file (old format) for man pages.
+# Just the index file, this script doesn't generate HTML pages for each man
+# page.
+
 # Add $GNOME_PATH/man too
-MAN_PATH = ["/usr/man", "/usr/share/man", "/usr/local/man"]
+#MAN_PATH = ["/usr/man", "/usr/share/man", "/usr/local/man"]
+MAN_PATH = ["/usr/share/man"]
 MAN_SUBS = ["man1", "man2", "man3", "man4", "man5",
             "man6", "man7", "man8", "man9"]