Developers

  • ExtensionManual - learn how to write plugins and actions to create new features
  • JavaDoc - automatically generated javadoc

robots.txt

The web page indexing robots are killing the web server since the robots index every revision of the source. There is a RobotsTxt file with information to well behaved robots. The contents of RobotsTxt is the same traditional robots.txt, and the RobotsTxtPlugin plug-in will serve a http://www.proteios.org/robots.txt to the robots.