HCoop / bpt / guile.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5dc64f6) | patch
Really check for "makeinfo", not for "maakeinfo", which I put there
authorMarius Vollmer <mvo@zagadka.de>
Wed, 26 Dec 2001 15:39:06 +0000 (15:39 +0000)
committerMarius Vollmer <mvo@zagadka.de>
Wed, 26 Dec 2001 15:39:06 +0000 (15:39 +0000)
commitff26bc56315c4e2c440aa08e3c09d139888cceaa
treebce83821bf3a3bfdcfe9380fbc322aad5d3fef00tree | snapshot (tar.gz zip)
parent5dc64f6434841e8439b08235d7d7ff76476dc2f6commit | diff
Really check for "makeinfo", not for "maakeinfo", which I put there
for testing the failure case.
configure.in diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.