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