aboutsummaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
authorAvatar Piotr Jaroszyński <peper@gentoo.org> 2007-06-18 20:03:17 +0000
committerAvatar Piotr Jaroszyński <peper@gentoo.org> 2007-06-18 20:03:17 +0000
commit5a16b8056d74fac0b47221717745aa81ec6631b7 (patch)
tree463740ec728e1cec0c95657504c5050161e9933e /misc
parent8813911e60b5d4d32cba5dbfc28d2e680d7fc768 (diff)
downloadpaludis-5a16b8056d74fac0b47221717745aa81ec6631b7.tar.gz
paludis-5a16b8056d74fac0b47221717745aa81ec6631b7.tar.xz
Fix and speed up doxygen.
Diffstat (limited to 'misc')
-rwxr-xr-xmisc/make_se.bash11
-rwxr-xr-xmisc/make_sr.bash15
2 files changed, 0 insertions, 26 deletions
diff --git a/misc/make_se.bash b/misc/make_se.bash
index e081ab5..9f03959 100755
--- a/misc/make_se.bash
+++ b/misc/make_se.bash
@@ -84,12 +84,6 @@ while read a ; do
if [[ "${what_to_make}" == "--header" ]] ; then
- echo "#ifdef DOXYGEN"
- echo "// doxygen needs this to get namespaces right"
- echo "namespace ${want_namespace}"
- echo "{"
- echo "#endif"
-
doxygen_comment()
{
cat
@@ -125,11 +119,6 @@ while read a ; do
echo
fi
- echo "#ifdef DOXYGEN"
- echo "// end namespace for doxygen"
- echo "}"
- echo "#endif"
-
elif [[ "${what_to_make}" == "--source" ]] ; then
echo "std::ostream &"
diff --git a/misc/make_sr.bash b/misc/make_sr.bash
index ab61042..e672dc9 100755
--- a/misc/make_sr.bash
+++ b/misc/make_sr.bash
@@ -12,14 +12,6 @@ echo "/* THIS IS A GENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY */"
echo "/* ******************************************************** */"
echo
-if [[ "${what_to_make}" == "--header" ]] ; then
- echo "#ifdef DOXYGEN"
- echo "// doxygen needs this to get namespaces right"
- echo "namespace paludis"
- echo "{"
- echo "#endif"
-fi
-
for src in ${@} ; do
if ! source ${src} ; then
echo "source ${src} failed" 1>&2
@@ -733,10 +725,3 @@ while read a ; do
fi
done
-if [[ "${what_to_make}" == "--header" ]] ; then
- echo "#ifdef DOXYGEN"
- echo "// end paludis namespace for doxygen"
- echo "}"
- echo "#endif"
-fi
-