···

       
13
       
13
       
 
       


     

       
14
       
14
       
 
       
if [[ $SKIP_VENV_SETUP == "" ]] || [[ $CI == "" ]]; then

     

       
15
       
15
       
 
       
  pipenv install --ignore-pipfile --deploy --verbose

     

       
16
       
16
       
-
       
  pipenv run -- mkdocs build -d "$TARGET_DIR" -f ${TARGET_BUILD_CONFIG}

     

       
16
       
16
       
+
       
  pipenv run mkdocs build -d "$TARGET_DIR" -f ${TARGET_BUILD_CONFIG}

     

       
17
       
17
       
 
       
else

     

       
18
       
18
       
 
       
  pip3 install -r requirements.txt --upgrade --user

     

       
19
       
19
       
 
       
  mkdocs build -d "$TARGET_DIR" -f ${TARGET_BUILD_CONFIG}

     
···

       
23
       
23
       
 
       
git rev-parse HEAD > "$TARGET_DIR/api/commit"

     

       
24
       
24
       
 
       
cp "$TARGET_DIR/assets/images/favicon.png" "$TARGET_DIR/favicon.ico"

     

       
25
       
25
       
 
       
cp markdown/.well-known "$TARGET_DIR/.well-known" -rv

     

       
26
       
26
       
+
       
cp markdown/humans.txt "$TARGET_DIR/humans.txt" -v

     

       
26
       
27
       
 
       


     

       
27
       
28
       
 
       
set +xe