diff --git a/etc/generate-gh-pages b/etc/generate-gh-pages index 82cef34..9ceb85b 100755 --- a/etc/generate-gh-pages +++ b/etc/generate-gh-pages @@ -39,6 +39,8 @@ for org_file in $org_files; do done convert=" +