"Randall S. Becker" <rsbecker@xxxxxxxxxxxxx> writes:
> Having the git-manpages repo available is fantastic for platforms
> that cannot easily build documentation on demand, for example,
> when too many dependencies that do not build properly.
>
> It would be really nice to have a version of install-doc-quick.sh to either:
>
> 1. Use whatever version is checked out in git-manpages; or
>
> 2. Use the proper commit associated with the git commit being installed (0a8e923 for v2.6.0 , as an example); or
>
> 3. Allow the commit to be passed through the Documentation Makefile on demand so that any version of documentation can be installed.
Do you mean something like this so that you can say "not the tip of
the master branch but this one?"
Documentation/install-doc-quick.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Documentation/install-doc-quick.sh b/Documentation/install-doc-quick.sh
index 327f69bcf5..83764f7537 100755
--- a/Documentation/install-doc-quick.sh
+++ b/Documentation/install-doc-quick.sh
@@ -3,8 +3,9 @@
repository=${1?repository}
destdir=${2?destination}
+head=${3+master}
+GIT_DIR=
-head=master GIT_DIR=
for d in "$repository/.git" "$repository"
do
if GIT_DIR="$d" git rev-parse refs/heads/master >/dev/null 2>&1
