Shared documentation pages¶
Shared Sphinx source files¶
Some Lino doctrees contain shared Sphinx source files. The master copies of
these files are maintained by convention in the book repository. Other
repositories act as slaves of the book: they copy these files from the book when
inv bd in these repositories.
make_docs_command of a slave repository is set to
'./make_docs.sh', and the repository has a script of that name in its root
Update shared source files from the master to the slave.
The content of this script is the same for most slaves:
#!/bin/bash set -e BOOK=../book/docs if [ -d $BOOK ] ; then cp -au $BOOK/shared docs/ cp -au $BOOK/copyright.rst docs/ fi
But for example in the lf repository it additionally runs
--rst to generate the docs/apps.rst file (List of known Lino applications).
Keep in mind that the
make_docs.sh file will also be invoked on GitLab
where the book repository is not present.