summaryrefslogtreecommitdiff
path: root/gen-docs.sh
diff options
context:
space:
mode:
Diffstat (limited to 'gen-docs.sh')
-rwxr-xr-xgen-docs.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/gen-docs.sh b/gen-docs.sh
index f16fe21..8c7e81e 100755
--- a/gen-docs.sh
+++ b/gen-docs.sh
@@ -15,6 +15,8 @@ for file in "data" "log" "tangle" "weave" ; do
sed "s~</head>~<style>${css}</style>\n&~1" -i'' "$out" ;
sed 's;\(.*\)@= \(.*\) =@;\1<span class="lp-ref">(\2)</span>;1' -i'' "$out" ;
+ sh "./../sync.sh" ;
+
echo "[ok] generated text '${file}'" ;
done