diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/doc-build.sh | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/scripts/doc-build.sh b/scripts/doc-build.sh index 6a5c7aa70..61819028b 100755 --- a/scripts/doc-build.sh +++ b/scripts/doc-build.sh @@ -103,22 +103,15 @@ case $dest in | man_replace_tokens > $dest exit $? ;; - - html/partial/*.html) - url=${dest/html\/partial\//} - cat $src | ./node_modules/.bin/marked | html_replace_tokens $url > $dest - ;; - - html/*.html) + *.html) url=${dest/html\//} (cat html/dochead.html && \ - cat $src && \ + cat $src | ./node_modules/.bin/marked && cat html/docfoot.html)\ | html_replace_tokens $url \ > $dest exit $? ;; - *) echo "Invalid destination type: $dest" >&2 exit 1 |