[v3] doxygen tweaks

[Benjamin Kosnik]

ok. I'll bite.

<bkoz@waller> /mnt/hd/bld/bld-x86-gcc/i686-pc-linux-gnu/libstdc++-v3            %make doxygen
(srcdir=`cd /mnt/hd/src/src.gcc/libstdc++-v3; pwd`; \
  outdir=`pwd`; \
  /mnt/hd/src/src.gcc/libstdc++-v3/docs/doxygen/run_doxygen --mode=user ${srcdir} ${outdir})
/bin/sh: /mnt/hd/src/src.gcc/libstdc++-v3/docs/doxygen/run_doxygen: Permission denied
make: [doxygen] Error 126 (ignored)
<bkoz@waller> /mnt/hd/bld/bld-x86-gcc/i686-pc-linux-gnu/libstdc++-v3            


?

-benjamin