diff options
Diffstat (limited to 'docs/how-to-use-docs')
| -rw-r--r-- | docs/how-to-use-docs/addendum.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/how-to-use-docs/addendum.rst b/docs/how-to-use-docs/addendum.rst index d36cd5a15..90ab1c768 100644 --- a/docs/how-to-use-docs/addendum.rst +++ b/docs/how-to-use-docs/addendum.rst @@ -76,4 +76,5 @@ The merge job name is **docs-merge-rtd-{branch}**. Once the patch is merged, jenkins will automatically trigger building of the new documentation. This might take about 15 minutes while readthedocs builds the documentatation. The newly built documentation shall show up -as appropriate placed in docs.opnfv.org/{branch}/path-to-file.
\ No newline at end of file +as appropriate placed in docs.opnfv.org/{branch}/path-to-file. + |