summaryrefslogtreecommitdiff
path: root/doc/preprocess.sh
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhsoting.net>2026-05-08 11:53:45 +0200
committerJörg Frings-Fürst <debian@jff-webhsoting.net>2026-05-08 11:53:45 +0200
commitc3dce46c5f7cad6bc3cc91cc2c711ac089f25923 (patch)
treeabaac2b003b368aa5bde30a5b898a3f51e85db43 /doc/preprocess.sh
parentbc983f30186f3c204b1daea57b0057f93b74dde1 (diff)
New upstream version 1.0.1+dfsgupstream/1.0.1+dfsgupstream
Diffstat (limited to 'doc/preprocess.sh')
-rwxr-xr-xdoc/preprocess.sh13
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'