diff options
| -rwxr-xr-x | doc/updt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/updt.sh b/doc/updt.sh index af64e31e..1c9d023e 100755 --- a/doc/updt.sh +++ b/doc/updt.sh @@ -29,7 +29,7 @@ updadate() { mkhtml() { local x=$1 local h=${x%%.md}.html - expand -i $x | sed 's: : :' > $h.pre + expand -i $x | sed 's:^ : :' > $h.pre markdown -f toc,autolink $h.pre > $h.toc.no markdown -Tf toc,autolink $h.pre > $h.toc.yes head --bytes=-$(stat -c %s $h.toc.no) $h.toc.yes > $h.toc |