From c92ac94887cb318a20b0e40f783df08e53950be9 Mon Sep 17 00:00:00 2001
From: defanor <defanor@uberspace.net>
Date: Tue, 1 May 2018 06:51:24 +0300
Subject: Exclude index files from note dumps

The dumps are used for indexes, no need to include indexes into those.
---
 tools/publish.sh | 1 +
 1 file changed, 1 insertion(+)

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" -
-- 
cgit v1.2.3