summaryrefslogtreecommitdiff
path: root/tools/publish.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/publish.sh')
-rwxr-xr-xtools/publish.sh4
1 files 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>') |