diff options
| -rw-r--r-- | etc/pagemenu.html | 3 | ||||
| -rwxr-xr-x | scripts/docs-build.sh | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/etc/pagemenu.html b/etc/pagemenu.html index 67601b655..f5c951ae0 100644 --- a/etc/pagemenu.html +++ b/etc/pagemenu.html @@ -17,5 +17,8 @@ {# Note: single HTML won't have source rst #} <li><a href="//pdfcrowd.com/url_to_pdf/">Save to PDF</a></li> {%- endif %} + <li>Version: {{version}}</li> + <li>Build Date: {{last_updated}}</li> + <li>© {{copyright}}</li> </ul> </div> diff --git a/scripts/docs-build.sh b/scripts/docs-build.sh index 7d8abf1ca..f3fd68980 100755 --- a/scripts/docs-build.sh +++ b/scripts/docs-build.sh @@ -125,6 +125,7 @@ function prepare_config() { add_config "$_conf" 'master_doc' "'index'" add_config "$_conf" 'pygments_style' "'sphinx'" add_config "$_conf" 'html_use_index' "False" + add_config "$_conf" 'html_last_updated_fmt' "'%b %d, %Y'" add_config "$_conf" 'html_logo' "'opnfv-logo.png'" add_config "$_conf" 'latex_domain_indices' "False" add_config "$_conf" 'latex_logo' "'opnfv-logo.png'" |