]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b62f9af) | patch
debian: fix sphinx docs
authorDavid Lamparter <equinox@opensourcerouting.org>
Mon, 2 Jan 2023 12:39:35 +0000 (13:39 +0100)
committerDavid Lamparter <equinox@opensourcerouting.org>
Mon, 2 Jan 2023 12:53:25 +0000 (13:53 +0100)
commite1e2ea84eed7f1880e1ed3fa2cfa09eaa9d2cdc1
tree58323511548e2772e42932041b82795e117ccf08tree | snapshot
parentb62f9af6b6716174c1510cc5160b11a40f37d6c0commit | diff
debian: fix sphinx docs

- use dh_sphinxdoc to get rid of embedded JS
- add override.js/css files missing from dist tarball

Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
debian/.gitignore diff | blob | history
debian/changelog diff | blob | history
debian/control diff | blob | history
debian/patches/series diff | blob | history
debian/patches/sphinx-missing-overrides.patch [new file with mode: 0644] blob
debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.