diff options
author | defanor <defanor@uberspace.net> | 2018-05-01 08:09:38 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-05-01 08:09:38 +0300 |
commit | b624825d29332b826ed925ad504c21171290a334 (patch) | |
tree | 2cc5e5feb6218349a9efcc174a87549aa4b7b680 | |
parent | 0e39fa32bc657936001d62ef078f4f132f7f81a3 (diff) |
Search for new notes in src/
It used to be sufficient to look for already-converted ones, but not
anymore.
-rwxr-xr-x | tools/publish.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/publish.sh b/tools/publish.sh index cd3f46c..b9bd285 100755 --- a/tools/publish.sh +++ b/tools/publish.sh @@ -11,9 +11,9 @@ NOTES="${BASEDIR}/notes" # dump all the notes into a single file (echo '<?xml version="1.0" encoding="UTF-8"?>' && echo '<notes>' && - find "${NOTES}" -name '*.xhtml' | + find "${SOURCES}" -name '*.xhtml' | grep -v index.xhtml | - sed -e "sS^${BASEDIR}/\(.*\)S <note src=\"\\1\" />S" && + sed -e "sS^${SOURCES}/\(.*\)S <note src=\"\\1\" />S" && echo '</notes>') | xsltproc -o "${BUILD}/notes-dump.xml" "${TOOLS}/xml-notes-dump.xsl" - |