diff --git a/scripts/build b/scripts/build index 5500f2b..9f9ac83 100644 --- a/scripts/build +++ b/scripts/build @@ -1,5 +1,5 @@ #!/bin/sh -master=$(git ls-tree -r --name-only master PAT*/) +master=$(git ls-tree -r --name-only --full-tree master | grep "\.c") markdown=$1 id=$(basename "${markdown%.md}") index=${id#[a-z]}