47c2f792ac
These tags are now completely unused, remove them from scripts setting them. Now we can simplify publishdocs.sh with a simple loop instead of separate invocations. Remove our scope sphinx extensions, it's not needed anymore. Remove also the hot extension from the Admin User Guide, it's only used in the End User Guide. Change-Id: Ib6c9f35e336ee13b84030a6e7164dea27d621e67
6 lines
171 B
Bash
Executable File
6 lines
171 B
Bash
Executable File
#!/bin/sh -e
|
|
|
|
tools/build-rst.sh doc/user-guide --glossary --build build
|
|
# No need to build the glossary again here.
|
|
tools/build-rst.sh doc/user-guide-admin --build build
|