mirror of
https://github.com/git/git.git
synced 2025-12-12 20:36:24 +01:00
19 lines
231 B
Bash
Executable File
19 lines
231 B
Bash
Executable File
#!/bin/sh
|
|
|
|
case "$1" in
|
|
7)
|
|
V=7
|
|
EXTRA=
|
|
;;
|
|
8 | '')
|
|
V=8
|
|
PATH=~/asciidoc/bin:$PATH
|
|
EXTRA=ASCIIDOC8=YesPlease
|
|
;;
|
|
esac
|
|
|
|
make prefix=/var/tmp/asciidoc$V \
|
|
WEBDOC_DEST=/var/tmp/asciidoc$V/webdoc \
|
|
$EXTRA \
|
|
install install-webdoc
|