• Daniel Kahn Gillmor's avatar
    Provide direntry, description, and category for makeinfo · 25d7b825
    Daniel Kahn Gillmor authored
    info documents generally like to have a category and a directory entry
    available for system-wide indexing.  I can't find anyone who uses a
    category other than Miscellaneous for the category, sadly, but
    apparently info will be happier with a dummy category like
    Miscellaneous than with no category at all.
conf.py 8.78 KB