diff options
author | eudoxia <uplink@distress.network> | 2022-04-07 11:11:42 -0400 |
---|---|---|
committer | eudoxia <uplink@distress.network> | 2022-04-07 11:11:42 -0400 |
commit | b72af93971d38b05bcae92b2246b6014b737cd5e (patch) | |
tree | 6e1a174031f4003d14575fff2a15f3bf646e65a9 /gen-docs.sh | |
parent | e164f46cc78bc9496efd2042fd2eb701be536417 (diff) |
doc/freestanding: fixed header; backend syncing with distress.network
Diffstat (limited to 'gen-docs.sh')
-rwxr-xr-x | gen-docs.sh | 2 |
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 |