diff options
| author | Jan Dittberner <jandd@debian.org> | 2015-10-08 09:25:42 -0700 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2024-03-06 16:23:45 +0000 |
| commit | 0fba85ba383ce8310616167d6a1b6375755ac5f6 (patch) | |
| tree | bb3134125f7864b8afa05e8a1701ee3729dac00f | |
| parent | 7ae314db534d54d4ce9eec9469302ac6b93845f8 (diff) | |
disable-unsupported-sphinx-extension
Disable Sphinx extensions not available in Debian or requiring remote access.
Forwarded: not-needed
Last-Update: 2024-03-06
Gbp-Pq: Name 0001-disable-unsupported-sphinx-extension.patch
| -rw-r--r-- | docs/history.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/history.rst b/docs/history.rst index 8e21750..907000b 100644 --- a/docs/history.rst +++ b/docs/history.rst @@ -5,4 +5,4 @@ History ******* -.. include:: ../CHANGES (links).rst +.. include:: ../CHANGES.rst |