Commit 68e8a3b1 authored by Pablo Rauzy's avatar Pablo Rauzy Committed by Christoph Cullmann
Browse files

Make the script updating the local file more generic

parent 22d25ff1
# This scripts uses pandoc to update the file from the documentation.
# This script uses pandoc to update the local file with the content from Kate's docbook documentation.
cd $(dirname "$(readlink -f "$BASH_SOURCE")")
sed -n '/^<sect1 id="kate-application-plugin-keyboardmacros">$/,/^<\/sect1>$/p' ../../doc/kate/plugins.docbook | \
pandoc -f docbook -t markdown -s - -o - | \
sed 's/{.\(menuchoice\|keycombo\)}//;s/\s{#.\+}$//' | \
sed 's/+K/K/;s/CTRL/Ctrl+/;s/SHIFT/Shift+/;s/ALT/Alt+/;s/(\[/[`/;s/\])/`]/' | \
sed 's/CTRL/Ctrl+/;s/SHIFT/Shift+/;s/ALT/Alt+/;s/++/+/g;s/(\[/[`/;s/\])/`]/' | \
cat >
cd - >/dev/null
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment