|
1
|
#!/bin/sh |
|
2
|
|
|
3
|
case "$1" in |
|
4
|
7) |
|
5
|
V=7 |
|
6
|
EXTRA= |
|
7
|
;; |
|
8
|
8 | '') |
|
9
|
V=8 |
|
10
|
PATH=~/asciidoc/bin:$PATH |
|
11
|
EXTRA=ASCIIDOC8=YesPlease |
|
12
|
;; |
|
13
|
esac |
|
14
|
|
|
15
|
make prefix=/var/tmp/asciidoc$V \ |
|
16
|
WEBDOC_DEST=/var/tmp/asciidoc$V/webdoc \ |
|
17
|
$EXTRA \ |
|
18
|
install install-webdoc |