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