1.0.4.107: fix doc/make-doc.sh if "make" command is not GNU make.
authorNIIMI Satoshi <sa2c@users.sourceforge.net>
Thu, 19 Apr 2007 15:48:54 +0000 (15:48 +0000)
committerNIIMI Satoshi <sa2c@users.sourceforge.net>
Thu, 19 Apr 2007 15:48:54 +0000 (15:48 +0000)
commita3cecc60196709098b0f189592be91acb0af9ae0
tree8b5b54e0c24cade24213a4deb07382819bfd2d0b
parent8cad02355db787b9f077b77f508329550ccd0db6
1.0.4.107: fix doc/make-doc.sh if "make" command is not GNU make.

First build problem found by James Knight's BuildBot. :-)
doc/make-doc.sh
version.lisp-expr