summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordefanor <defanor@uberspace.net>2018-05-01 06:51:24 +0300
committerdefanor <defanor@uberspace.net>2018-05-01 06:51:24 +0300
commitc92ac94887cb318a20b0e40f783df08e53950be9 (patch)
tree4033b485c5132c7a6405aaedd58be348514e5385
parent56c57f94738efab8b0bf83dc68480931a2ceee00 (diff)
Exclude index files from note dumps
The dumps are used for indexes, no need to include indexes into those.
-rwxr-xr-xtools/publish.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/publish.sh b/tools/publish.sh
index c962063..cd3f46c 100755
--- a/tools/publish.sh
+++ b/tools/publish.sh
@@ -12,6 +12,7 @@ NOTES="${BASEDIR}/notes"
(echo '<?xml version="1.0" encoding="UTF-8"?>' &&
echo '<notes>' &&
find "${NOTES}" -name '*.xhtml' |
+ grep -v index.xhtml |
sed -e "sS^${BASEDIR}/\(.*\)S <note src=\"\\1\" />S" &&
echo '</notes>') |
xsltproc -o "${BUILD}/notes-dump.xml" "${TOOLS}/xml-notes-dump.xsl" -