test repo for doxygen pages generated for GDB