Merge branch 'feature/upstream' into develop

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'