Remove all dotfiles from the docs

This commit is contained in:
Jan Alexander Steffens 2019-11-06 12:30:48 +00:00
parent 50486f6ac1
commit f15e18814a

View File

@ -177,8 +177,8 @@ _package-docs() {
mkdir -p "$builddir"
cp -t "$builddir" -a Documentation
msg2 "Removing doctrees..."
rm -r "$builddir/Documentation/output/.doctrees"
msg2 "Removing unneeded files..."
rm -rv "$builddir"/Documentation/{,output/}.[^.]*
msg2 "Moving HTML docs..."
local src dst