diff options
Diffstat (limited to 'publish.sh')
-rwxr-xr-x | publish.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,6 +1,7 @@ #!/bin/bash set -x +cd $(dirname $0) (cd input && git pull) INPUTS=$(find input -name '*.org' -exec grep -l "#+PUBLISH" {} \;) |