Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
22.214.171.124: fix doc/make-doc.sh if "make" command is not GNU make.
First build problem found by James Knight's BuildBot. :-)