diff options
-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" {} \;) |
index : org-publisher.git | ||
Converts an org repository to a website | KJ |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | publish.sh | 1 |
@@ -1,6 +1,7 @@ #!/bin/bash set -x +cd $(dirname $0) (cd input && git pull) INPUTS=$(find input -name '*.org' -exec grep -l "#+PUBLISH" {} \;) |