How do I change the logo in the corner of the wiki?
Christopher Brooks, 10 Oct 2011
Last updated: 10 Oct 2011
To change the logo, use CVS to edit
<?php if (!defined('PmWiki')) exit();
$WikiTitle = "DARPA Grand Challenge 3 (DGC3)";
$PageLogoUrl = "http://chess.eecs.berkeley.edu/dgc3/images/logo-150.png";
Once you make your changes, check them in and then click
CVS Update link on the main page.
For more information, see
How do I edit pages in a group with the "CVS Authoring" option?