libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 6fc52cfadb0e265ef664b21c1b997ba3f08b153b
parent 307ce13c0244928a9bacc3cbeba52ac31c6af8c5
Author: Alyssa Rosenzweig <alyssa@rosenzweig.io>
Date:   Mon, 27 Mar 2017 17:50:09 -0700

Don't eat 'amd'

Diffstat:
www/publish.sh | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/publish.sh b/www/publish.sh @@ -20,7 +20,7 @@ if [[ ${FILE} != "docs*" ]] ; then fi # change out .md -> .html -sed temp.md -i -e 's/.md\(#[a-z\-]*\)*)/.html\1)/g' +sed temp.md -i -e 's/\.md\(#[a-z\-]*\)*)/.html\1)/g' # work around issue #2872 TOC=$(grep -q "^x-toc-enable: true$" temp.md && echo "--toc")