diff options
| author |  Piotr Jaroszyński <peper@gentoo.org>
| 2007-06-18 20:03:17 +0000 |
|---|---|---|
| committer | Piotr Jaroszyński <peper@gentoo.org>
| 2007-06-18 20:03:17 +0000 |
| commit | 5a16b8056d74fac0b47221717745aa81ec6631b7 (patch) | |
| tree | 463740ec728e1cec0c95657504c5050161e9933e /misc/make_se.bash | |
| parent | 8813911e60b5d4d32cba5dbfc28d2e680d7fc768 (diff) | |
| download | paludis-5a16b8056d74fac0b47221717745aa81ec6631b7.tar.gz paludis-5a16b8056d74fac0b47221717745aa81ec6631b7.tar.xz | |
Fix and speed up doxygen.
Diffstat (limited to 'misc/make_se.bash')
| -rwxr-xr-x | misc/make_se.bash | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/misc/make_se.bash b/misc/make_se.bash index e081ab591..9f03959fa 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 &" |