From b624825d29332b826ed925ad504c21171290a334 Mon Sep 17 00:00:00 2001 From: defanor Date: Tue, 1 May 2018 08:09:38 +0300 Subject: Search for new notes in src/ It used to be sufficient to look for already-converted ones, but not anymore. --- tools/publish.sh | 4 ++-- 1 file 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 '' && echo '' && - find "${NOTES}" -name '*.xhtml' | + find "${SOURCES}" -name '*.xhtml' | grep -v index.xhtml | - sed -e "sS^${BASEDIR}/\(.*\)S S" && + sed -e "sS^${SOURCES}/\(.*\)S S" && echo '') | xsltproc -o "${BUILD}/notes-dump.xml" "${TOOLS}/xml-notes-dump.xsl" - -- cgit v1.2.3