From 08eb8cd44cc06f6b3e33fab09abd13414fddbf8d Mon Sep 17 00:00:00 2001
From: defanor <defanor@uberspace.net>
Date: Tue, 1 May 2018 08:24:34 +0300
Subject: Search in src/notes/, not just src/

---
 tools/publish.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/publish.sh b/tools/publish.sh
index b9bd285..b07a736 100755
--- a/tools/publish.sh
+++ b/tools/publish.sh
@@ -5,13 +5,13 @@ TOOLS="${BASEDIR}/tools"
 BUILD="${BASEDIR}/build"
 ATOM="${BASEDIR}/atom.xml"
 SOURCES="${BASEDIR}/src"
-NOTES="${BASEDIR}/notes"
+NOTES="${SOURCES}/notes"
 
 
 # dump all the notes into a single file
 (echo '<?xml version="1.0" encoding="UTF-8"?>' &&
      echo '<notes>' &&
-     find "${SOURCES}" -name '*.xhtml' |
+     find "${NOTES}" -name '*.xhtml' |
          grep -v index.xhtml |
          sed -e "sS^${SOURCES}/\(.*\)S  <note src=\"\\1\" />S" &&
      echo '</notes>') |
-- 
cgit v1.2.3