summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordefanor <defanor@uberspace.net>2018-05-01 08:09:38 +0300
committerdefanor <defanor@uberspace.net>2018-05-01 08:09:38 +0300
commitb624825d29332b826ed925ad504c21171290a334 (patch)
tree2cc5e5feb6218349a9efcc174a87549aa4b7b680
parent0e39fa32bc657936001d62ef078f4f132f7f81a3 (diff)
Search for new notes in src/
It used to be sufficient to look for already-converted ones, but not anymore.
-rwxr-xr-xtools/publish.sh4
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" -