File tree Expand file tree Collapse file tree 7 files changed +18
-25
lines changed
Expand file tree Collapse file tree 7 files changed +18
-25
lines changed Original file line number Diff line number Diff line change @@ -4,7 +4,6 @@ set -o pipefail
44
55BUILD_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) /.." && pwd) "
66source " $BUILD_DIR /ci/common/common.sh"
7- source " $BUILD_DIR /ci/common/doc.sh"
87source " $BUILD_DIR /ci/common/html.sh"
98source " $BUILD_DIR /ci/common/badge.sh"
109
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 66readonly BUILD_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) /.." && pwd) "
77
88source " ${BUILD_DIR} /ci/common/common.sh"
9- source " ${BUILD_DIR} /ci/common/doc.sh"
109
1110generate_doc_index () {
1211 echo " Updating doc folder from file-list.txt"
Original file line number Diff line number Diff line change @@ -10,7 +10,6 @@ shopt -s dotglob
1010
1111readonly BUILD_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) /.." && pwd) "
1212source " $BUILD_DIR /ci/common/common.sh"
13- source " $BUILD_DIR /ci/common/doc.sh"
1413source " $BUILD_DIR /ci/common/html.sh"
1514source " $BUILD_DIR /ci/common/badge.sh"
1615
Original file line number Diff line number Diff line change @@ -4,6 +4,23 @@ set -o pipefail
44
55BUILD_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) /.." && pwd) "
66source " $BUILD_DIR /ci/common/common.sh"
7- source " $BUILD_DIR /ci/common/doc.sh"
7+
8+ require_environment_variable BUILD_DIR " ${BASH_SOURCE[0]} " ${LINENO}
9+
10+ DOC_DIR=${DOC_DIR:- ${BUILD_DIR} / build/ doc}
11+ DOC_REPO=${DOC_REPO:- neovim/ doc}
12+ DOC_BRANCH=${DOC_BRANCH:- gh-pages}
13+
14+ # Trim the https://github.com/neovim/doc/ repository history, els it gets huge
15+ # and slow to clone. We don't care about the history of the `gh-pages` branch.
16+ try_truncate_history () {
17+ cd " ${DOC_DIR} " || { log_error " try_truncate_history: cd failed" ; exit 1; }
18+ local branch=gh-pages
19+ if NEW_ROOT=$( 2> /dev/null git rev-parse " $branch " ~101) ; then
20+ git_truncate " $branch " " $branch " ~100
21+ else
22+ log_info " try_truncate_history: branch ${branch} has too few commits, skipping truncate"
23+ fi
24+ }
825
926try_truncate_history
Original file line number Diff line number Diff line change 33
44BUILD_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) /.." && pwd) "
55source ${BUILD_DIR} /ci/common/common.sh
6- source ${BUILD_DIR} /ci/common/doc.sh
76
87generate_user_docu () {
98 require_environment_variable BUILD_DIR " ${BASH_SOURCE[0]} " ${LINENO}
Original file line number Diff line number Diff line change 44BUILD_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) /.." && pwd) "
55export BUILD_DIR
66source ${BUILD_DIR} /ci/common/common.sh
7- source ${BUILD_DIR} /ci/common/doc.sh
87source ${BUILD_DIR} /ci/common/html.sh
98
109generate_vimpatch_report () {
You can’t perform that action at this time.
0 commit comments