Index: /web/trunk/trac/conf/trac.ini
===================================================================
--- /web/trunk/trac/conf/trac.ini	(revision 4195)
+++ /web/trunk/trac/conf/trac.ini	(revision 4196)
@@ -32,5 +32,5 @@
 
 [mainnav]
-doxygen.label = Documentation
+doxygen.label = Doc
 newticket.label = Report a Bug
 tickets.href = /report/1