File tree 1 file changed +3
-2
lines changed
1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -20,9 +20,10 @@ how-redirect-manual() {
20
20
local dir=" $( pwd) /$HOW_OUT /$2 "
21
21
mkdir -p " $dir "
22
22
cd " $HOW_OUT /$1 "
23
+ [ " $3 " == " clientserver" ] && prefix=" ../"
23
24
find api -type f | while read -r f; do
24
25
mkdir -p ` dirname " $dir /$f " `
25
- how-redirect " ../ ../../$1 /$f " " $dir /$f "
26
+ how-redirect " $prefix " " ../../$1 /$f " " $dir /$f "
26
27
done
27
28
find manual -type f | while read -r f; do
28
29
mkdir -p ` dirname " $dir /$f " `
@@ -42,7 +43,7 @@ how-install() {
42
43
opam pin add -y html_of_wiki html_of_wiki
43
44
44
45
git clone --depth 1 https://github.com/ocsigen/ocsigen.github.io.git __ocsigen.github.io
45
- mv __ocsigen.github.io/template __ocsigen.github.io/how_template
46
+ mv __ocsigen.github.io/template __ocsigen.github.io/how_template
46
47
mv __ocsigen.github.io/how_template .
47
48
48
49
HOW_LATEST=$( find $HOW_DOC -maxdepth 1 -type d -not -name $HOW_DOC -not -name dev -exec basename {} \; | sort -nr | head -n 1)
You can’t perform that action at this time.
0 commit comments