diff options
author | defanor <defanor@uberspace.net> | 2018-05-01 08:24:34 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-05-01 08:24:34 +0300 |
commit | 08eb8cd44cc06f6b3e33fab09abd13414fddbf8d (patch) | |
tree | ced997a3813b57668e7649d9d28088f904fc33ed | |
parent | b624825d29332b826ed925ad504c21171290a334 (diff) |
Search in src/notes/, not just src/
-rwxr-xr-x | tools/publish.sh | 4 |
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>') | |