diff options
Diffstat (limited to 'gen-docs.sh')
-rwxr-xr-x | gen-docs.sh | 5 |
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" |