Searched full:docs_dir_name (Results 1 – 1 of 1) sorted by relevance
14 DOCS_DIR_NAME: bsp_sedi_docs39 rm -rf ./${DOCS_DIR_NAME}/40 mv ./docs/${DOCS_DIR_NAME}/ ./${DOCS_DIR_NAME}/41 if [[ -n $(git status -s ./${DOCS_DIR_NAME}) ]]; then42 git add ./${DOCS_DIR_NAME}/
