diff options
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) |