aboutsummaryrefslogtreecommitdiffstats
path: root/doc/updt.sh
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2016-05-29 10:27:26 +0200
committerJosé Bollo <jose.bollo@iot.bzh>2016-05-29 10:27:26 +0200
commitd8cdb04dbaee8b2ca637c45df62be9b926e6cf73 (patch)
tree649c9e39342971ed8d8f06d10ab3ffc398987b3b /doc/updt.sh
parent59f6d2fa0c4bea46c7deb21d00d3885accc2d117 (diff)
improves documentation formating
Change-Id: I70902f6fa8c0381dd4a5eefb050a971ca2c80b12 Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'doc/updt.sh')
-rwxr-xr-xdoc/updt.sh2
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