github/dokku
0
0
Fork 0
Code Issues Pull Requests Actions 5 Packages Projects Releases Wiki Activity

docs: copy the extra css to subsites

Browse Source
This commit is contained in:
Jose Diaz-Gonzalez
2022-09-05 17:35:48 -04:00
parent d560ee13e0
commit 8fe33a0e41
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
contrib/build-docs
View File

@@ -13,6 +13,7 @@ main() {
rm -rf docs/assets rm -rf docs/assets
mkdir -p docs/assets mkdir -p docs/assets
cp -r docs-main/assets/extra.css docs/assets/extra.css
cp -r docs-main/assets/favicons docs/assets/favicons cp -r docs-main/assets/favicons docs/assets/favicons
cp -r docs-main/assets/dokku-logo.svg docs/assets/dokku-logo.svg cp -r docs-main/assets/dokku-logo.svg docs/assets/dokku-logo.svg