aboutsummaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
Diffstat (limited to 'misc')
-rwxr-xr-xmisc/make_sr.bash2
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/make_sr.bash b/misc/make_sr.bash
index 2259922f9..e5e593e66 100755
--- a/misc/make_sr.bash
+++ b/misc/make_sr.bash
@@ -203,6 +203,7 @@ while read a ; do
if [[ -n "${want_named_args}" ]] ; then
+ echo "#ifndef DOXYGEN"
echo " ///\\name Named argument constructor"
echo " ///\{"
echo
@@ -415,6 +416,7 @@ while read a ; do
done
echo "> create();"
echo
+ echo "#endif"
fi
echo "};"