parent
8803856ce0
commit
2525a8326f
2
Makefile
2
Makefile
|
@ -78,7 +78,7 @@ news:
|
||||||
> "$(outdir)/news.html"
|
> "$(outdir)/news.html"
|
||||||
|
|
||||||
# documentation, styled to match the rest of the website
|
# documentation, styled to match the rest of the website
|
||||||
webdoc:
|
webdoc: default
|
||||||
./tools/webdoc
|
./tools/webdoc
|
||||||
|
|
||||||
# publish webroot to remote server using rsync (do not delete files, since we
|
# publish webroot to remote server using rsync (do not delete files, since we
|
||||||
|
|
15
tools/webdoc
15
tools/webdoc
|
@ -52,10 +52,10 @@ git rev-parse --git-dir >/dev/null 2>/dev/null || {
|
||||||
|
|
||||||
|
|
||||||
path_dest=webroot/manual
|
path_dest=webroot/manual
|
||||||
path_doc=doc-cp
|
path_doc="$(pwd)/doc-cp"
|
||||||
path_img=$path_doc/img
|
path_img="$path_doc/img"
|
||||||
path_js=$path_doc/interactive.js
|
path_js="$path_doc/interactive.js"
|
||||||
path_doc_multi=$path_doc/easejs.html
|
path_doc_multi="$path_doc/easejs.html"
|
||||||
|
|
||||||
# style a particular file, rewriting relevant portions of the HTML
|
# style a particular file, rewriting relevant portions of the HTML
|
||||||
webify()
|
webify()
|
||||||
|
@ -107,10 +107,11 @@ git checkout "${WEBDOC_BRANCH:-master}" \
|
||||||
&& make html html-single \
|
&& make html html-single \
|
||||||
&& cp -rl doc "$path_doc" \
|
&& cp -rl doc "$path_doc" \
|
||||||
&& git checkout - \
|
&& git checkout - \
|
||||||
&& ln -sf "../easejs-single.html" "$path_doc_multi/easejs.html" \
|
&& pwd \
|
||||||
|
&& ln -sfv "$path_doc/easejs-single.html" "$path_doc_multi/easejs.html" \
|
||||||
&& for path in $( find "$path_doc_multi" -name '*.htm?' )
|
&& for path in $( find "$path_doc_multi" -name '*.htm?' )
|
||||||
do
|
do
|
||||||
webify "$path" "../"
|
webify "$path" "../"
|
||||||
done \
|
done \
|
||||||
&& ln -sf "../$path_doc_multi" "$path_dest" \
|
&& ln -sfv "$path_doc_multi" "$path_dest" \
|
||||||
&& ln -sf "../../$path_img" "../../$path_js" "$path_dest/"
|
&& ln -sfv "$path_img" "$path_js" "$path_dest/"
|
||||||
|
|
Loading…
Reference in New Issue