babd749f66
Create titles for both guides to differentiate them. This needs a separate top-level index file and some moving of files around so that the finished guide has an index.html file. Change-Id: Ibe23d0c466b5c5f7d0b909548b55f6c5382f8992
13 lines
668 B
Bash
Executable File
13 lines
668 B
Bash
Executable File
#!/bin/sh -e
|
|
|
|
echo "Building End User Guide"
|
|
echo "======================="
|
|
sphinx-build -t user_only -E -W doc/playground-user-guide/source/ doc/playground-user-guide/build/html
|
|
echo "Building Admin User Guide"
|
|
echo "========================="
|
|
sphinx-build -t admin_only -E -W doc/playground-user-guide/source/ doc/playground-user-guide/build-admin/html
|
|
|
|
# Cleanup: Rename index-html to index everywhere
|
|
mv doc/playground-user-guide/build-admin/html/index-admin.html doc/playground-user-guide/build-admin/html/index.html
|
|
sed -i -e 's/index-admin.html/index.html/g' doc/playground-user-guide/build-admin/html/*.html doc/playground-user-guide/build-admin/html/*/*.html
|