2022-02-16 00:53:01 -05:00
|
|
|
#!/bin/bash
|
|
|
|
set -e
|
2023-10-26 03:12:35 -04:00
|
|
|
cd `dirname $0`
|
2023-08-25 17:45:47 -04:00
|
|
|
docroot="./"
|
2023-10-26 03:12:35 -04:00
|
|
|
banner_height=banner_height:15ex
|
2023-08-25 17:45:47 -04:00
|
|
|
templates=$docroot"pandoc_templates"
|
|
|
|
. $templates"/mkdocs.cfg"
|