chiark / gitweb /
Use correct directory for installation.
authormdw <mdw>
Sat, 3 Feb 2001 18:39:37 +0000 (18:39 +0000)
committermdw <mdw>
Sat, 3 Feb 2001 18:39:37 +0000 (18:39 +0000)
commit7a80a79af064da73cc950fdbb5912c9c16180c24
treec3779c274b1e1520a463f97c9bb3dbf52671c40f
parent4e3819cf328abf9cb0e43d76ef1b294a3bffa720
Use correct directory for installation.
configure.in