repo.or.cz
/
git.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
What's cooking (2014/02 #05)
[git.git]
/
docbuild-8.sh
blob
4c7b738788b4e0b7a894f3f383a39954655a21e0
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