summaryrefslogtreecommitdiff
path: root/gen-docs.sh
diff options
context:
space:
mode:
authoreudoxia <uplink@distress.network>2022-04-08 00:32:03 -0400
committereudoxia <uplink@distress.network>2022-04-08 00:32:03 -0400
commitaa372c0ed6ca775f603a535d8bad70f172751a29 (patch)
treef40a5bef7d1d114778bad928c50b60cead8de442 /gen-docs.sh
parentb72af93971d38b05bcae92b2246b6014b737cd5e (diff)
control flow restructuring; removed doc timestamps
Diffstat (limited to 'gen-docs.sh')
-rwxr-xr-xgen-docs.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/gen-docs.sh b/gen-docs.sh
index 8c7e81e..ed371ff 100755
--- a/gen-docs.sh
+++ b/gen-docs.sh
@@ -12,12 +12,13 @@ for file in "data" "log" "tangle" "weave" ; do
pushd "../web" > "/dev/null" ;
sh "./md.sh" "$tmp" "../literary/$out" > "/dev/null" ;
popd > "/dev/null" ;
+ sed "/<meta http-equiv=/d" -i'' "$out" ;
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
+sh "./../sync.sh"
+
rm "$tmp"