diff options
| author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2026-05-08 11:53:45 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2026-05-08 11:53:45 +0200 |
| commit | c3dce46c5f7cad6bc3cc91cc2c711ac089f25923 (patch) | |
| tree | abaac2b003b368aa5bde30a5b898a3f51e85db43 /doc/preprocess.sh | |
| parent | bc983f30186f3c204b1daea57b0057f93b74dde1 (diff) | |
New upstream version 1.0.1+dfsgupstream/1.0.1+dfsgupstream
Diffstat (limited to 'doc/preprocess.sh')
| -rwxr-xr-x | doc/preprocess.sh | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/doc/preprocess.sh b/doc/preprocess.sh index c77bb6a..7b7561e 100755 --- a/doc/preprocess.sh +++ b/doc/preprocess.sh @@ -1,4 +1,13 @@ #! /usr/bin/env bash # Run GCC preprocessor and delete empty lines -: ${CPP:=cpp} -"${CPP}" -DURI_DOXYGEN -DURI_NO_UNICODE -C -I ../include "$1" | sed -e '/^$/d' -e 's/COMMENT_HACK//g' +set -e -u -o pipefail +: ${CC:=cc} +PS4='doc/preprocess.sh|# ' +set -x +{ + if [[ "${1}" =~ \.txt$ ]]; then + cat "${1}" + else + "${CC}" -E -DURI_DOXYGEN -DURI_NO_UNICODE -C -I ../include "$1" + fi +} | sed -e '/^$/d' -e 's/COMMENT_HACK//g' -e 's/URI_PUBLIC //g' |
