You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
#!/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
|