diff options
| author | Vincent Ambo <mail@tazj.in> | 2021-09-21T10·03+0300 |
|---|---|---|
| committer | Vincent Ambo <mail@tazj.in> | 2021-09-21T11·29+0300 |
| commit | 43b1791ec601732ac31195df96781a848360a9ac (patch) | |
| tree | daae8d638343295d2f1f7da955e556ef4c958864 /third_party/git/Documentation/install-doc-quick.sh | |
| parent | 2d8e7dc9d9c38127ec4ebd13aee8e8f586a43318 (diff) | |
chore(3p/git): Unvendor git and track patches instead r/2903
This was vendored a long time ago under the expectation that keeping it in sync with cgit would be easier this way, but it has proven not to be a big issue. On the other hand, a vendored copy of git is an annoying maintenance burden. It is much easier to rebase the single (dottime) patch that we have. This removes the vendored copy of git and instead passes the git source code to cgit via `pkgs.srcOnly`, which includes the applied patch so that cgit can continue rendering dottime. Change-Id: If31f62dea7ce688fd1b9050204e9378019775f2b
Diffstat (limited to 'third_party/git/Documentation/install-doc-quick.sh')
| -rwxr-xr-x | third_party/git/Documentation/install-doc-quick.sh | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/third_party/git/Documentation/install-doc-quick.sh b/third_party/git/Documentation/install-doc-quick.sh deleted file mode 100755 index 17231d8e5959..000000000000 --- a/third_party/git/Documentation/install-doc-quick.sh +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/sh -# This requires git-manpages and/or git-htmldocs repositories - -repository=${1?repository} -destdir=${2?destination} -GIT_MAN_REF=${3?master} - -GIT_DIR= -for d in "$repository/.git" "$repository" -do - if GIT_DIR="$d" git rev-parse "$GIT_MAN_REF" >/dev/null 2>&1 - then - GIT_DIR="$d" - export GIT_DIR - break - fi -done - -if test -z "$GIT_DIR" -then - echo >&2 "Neither $repository nor $repository/.git is a repository" - exit 1 -fi - -GIT_WORK_TREE=$(pwd) -GIT_INDEX_FILE=$(pwd)/.quick-doc.$$ -export GIT_INDEX_FILE GIT_WORK_TREE -rm -f "$GIT_INDEX_FILE" -trap 'rm -f "$GIT_INDEX_FILE"' 0 - -git read-tree "$GIT_MAN_REF" -git checkout-index -a -f --prefix="$destdir"/ - -if test -n "$GZ" -then - git ls-tree -r --name-only "$GIT_MAN_REF" | - xargs printf "$destdir/%s\n" | - xargs gzip -f -fi -rm -f "$GIT_INDEX_FILE" |