diff options
author | Chris Johns <chrisj@rtems.org> | 2022-08-10 12:16:10 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2022-08-10 12:16:10 +1000 |
commit | 927382bfe7dc92b318719d6140e3a72f7fab005b (patch) | |
tree | d33a6e704e093212340da7dd22a478dad5cfdfe6 /docs/docs.rtems.org/configuration.py | |
parent | 1d940fbe6a0e99eb67ac4994ff78f3409fccd587 (diff) |
config: Update paths to support ftp.rtems.org storage
- Update to add 5 branch and 5.1 release
Diffstat (limited to 'docs/docs.rtems.org/configuration.py')
-rw-r--r-- | docs/docs.rtems.org/configuration.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docs.rtems.org/configuration.py b/docs/docs.rtems.org/configuration.py index 13f6bae..f390401 100644 --- a/docs/docs.rtems.org/configuration.py +++ b/docs/docs.rtems.org/configuration.py @@ -227,7 +227,7 @@ class configuration: html = rel['html'] + '/' + m + '/index.html' else: html = rel['html'] + '/' + m + '.html' - pdf = rel['pdf'] + '/' + m + '.pdf' + pdf = rel['pdf'] + '/' + m + '-' + r + '.pdf' legacy = rel['legacy'] doc = self._xml_create_doc(cat, m, legacy, name, html, pdf) root.appendChild(doc) |