summaryrefslogtreecommitdiffstats
path: root/build-website
diff options
context:
space:
mode:
authorSandro Knauß <hefee@debian.org>2018-06-17 02:14:06 +0200
committerSandro Knauß <hefee@debian.org>2018-06-17 02:15:54 +0200
commit85404d194e3035f2f8250031c8c16b52751756d7 (patch)
tree0dcc9b9a953c397370cb1da6184fdfb1ac89bba8 /build-website
parent9125cce8fcbac26c4cc2c26e3e67fc27435aafce (diff)
remove fixup_14962_workaround
Diffstat (limited to 'build-website')
-rwxr-xr-xbuild-website11
1 files changed, 1 insertions, 10 deletions
diff --git a/build-website b/build-website
index b7d0928..f5001d0 100755
--- a/build-website
+++ b/build-website
@@ -25,13 +25,4 @@ if ! "${git_dir}/bin/sanity-check-website" ; then
fi
fi
-# If I knew Ikiwiki better I'd probably figure out how to just make it
-# keep the misc/*.html files as-is instead of this hack.
-fixup_14962_workaround() {
- mkdir -p config/chroot_local-includes/usr/share/doc/tails/website/misc
- rm -f config/chroot_local-includes/usr/share/doc/tails/website/misc/*
- cp wiki/src/misc/*.html \
- config/chroot_local-includes/usr/share/doc/tails/website/misc
-}
-
-ikiwiki -setup ikiwiki.setup -refresh "$@" && fixup_14962_workaround
+ikiwiki -setup ikiwiki.setup -refresh "$@"