]> git.puffer.fish Git - mirror/frr.git/commitdiff
build: add doc files missing from dist tarball 12610/head
authorDavid Lamparter <equinox@opensourcerouting.org>
Fri, 6 Jan 2023 16:07:47 +0000 (17:07 +0100)
committerMergify <37929162+mergify[bot]@users.noreply.github.com>
Mon, 9 Jan 2023 18:27:03 +0000 (18:27 +0000)
The override.css/js files for sphinx docs were not being included into
the tarball created by `make dist`.

Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
(cherry picked from commit 26eaf6e386ed2b960c0004d2f927b586e516f587)

doc/developer/subdir.am
doc/user/subdir.am

index 9cf14a1966c2e5a2547e144886b2c474b334abf3..b4c752a473e5ea57edae890b1cad33985b4c74b7 100644 (file)
@@ -71,6 +71,7 @@ EXTRA_DIST += \
        doc/developer/draft-zebra-00.ms \
        doc/developer/ldpd-basic-test-setup.md \
        doc/developer/release-announcement-template.md \
+       doc/developer/_static/overrides.css \
        # end
 
 DEVBUILD = doc/developer/_build
index 14ace2c8567168822a2c3b7b2fdcc59a5efb8065..2bb1d28a2f3890e43a384ef6ee7428e4ba14ec8b 100644 (file)
@@ -56,6 +56,8 @@ user_RSTFILES = \
 EXTRA_DIST += \
        $(user_RSTFILES) \
        doc/user/Useful_Sysctl_Settings.md \
+       doc/user/_static/overrides.css \
+       doc/user/_static/overrides.js \
        # end
 
 USERBUILD = doc/user/_build