Fix various documentation bugs (#1678)

* Fix various documentation bugs

* Keep long option names, but don't include in Command Index

* Use long option name

* Explicitly designate sections to be listed in the Command Index

* Consistent menu bar titles
This commit is contained in:
Adam J. Stewart
2016-10-06 04:49:44 -05:00
committed by Todd Gamblin
parent 7dc11472bf
commit 83a074eea6
8 changed files with 97 additions and 108 deletions

View File

@@ -79,7 +79,7 @@
for filename in glob('*rst'):
with open(filename) as f:
for line in f:
match = re.match(r'.. _(spack-[^:]*)', line)
match = re.match('.. _(cmd-spack-.*):', line)
if match:
command_names.append(match.group(1).strip())