]> git.puffer.fish Git - mirror/frr.git/commitdiff
build: add doc files missing from dist tarball 12606/head
authorDavid Lamparter <equinox@opensourcerouting.org>
Fri, 6 Jan 2023 16:07:47 +0000 (17:07 +0100)
committerDavid Lamparter <equinox@opensourcerouting.org>
Fri, 6 Jan 2023 16:07:47 +0000 (17:07 +0100)
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>
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 e07c9b6dc3992be40c0696328c2604a13ad6248a..706e1ea44917162bc4fabf3f8b0241e1235a4f78 100644 (file)
@@ -58,6 +58,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