File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ version=4
1111qualifier=
1212
1313branch=release-
14- devonly='.github/* admin/ build/ contributing/ user_guide_src/ CODE_OF_CONDUCT.md \
14+ devonly='admin/ build/ contributing/ user_guide_src/ CODE_OF_CONDUCT.md \
1515DCO.txt PULL_REQUEST_TEMPLATE.md'
1616which=release
1717
@@ -80,12 +80,16 @@ sed -i "/Release Date/s/Not Released/$(date +'%B %d, %Y')/" user_guide_src/sourc
8080#---------------------------------------------------
8181# Generate the user guide
8282echo -e "${BOLD}Generate the user guide${NORMAL}"
83+
84+ if [ -d docs ]; then
85+ rm -rf docs/
86+ fi
87+
8388cd user_guide_src
8489
8590# make the UG & embed it in the project root
8691rm -rf build/*
8792make html
88- rm -Rf ../docs
8993mv build/html ../docs
9094touch ../docs/.nojekyll
9195
@@ -98,13 +102,6 @@ cd ..
98102# Hide stuff from the release bundle
99103echo -e "${BOLD}Hide stuff from the release bundle${NORMAL}"
100104
101- # Restore the old .gitignore
102- if [ -f admin/previous-gitignore ]; then
103- cp -r admin/previous-gitignore .gitignore
104- fi
105- cp -r .gitignore admin/previous-gitignore
106-
107- # Add the dev only folders/files to .gitignore
108105for f in $devonly; do
109106 echo $f >> .gitignore
110107done
You can’t perform that action at this time.
0 commit comments