Skip to content
  • Brad King's avatar
    Help: Glob manual/*.rst in Sphinx configuration · f88332f5
    Brad King authored
    Add the man page description line as explicit markup at the top of each
    Help/manual/*.rst file and scan it from conf.py to automatically
    generate the man_pages Sphinx configuration value.  This reduces the
    number of places that need to be changed when a new manual is added.
    f88332f5