| commit | e5370655dc769a23979a85c7e2790804171f71a3 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jun 16 15:10:47 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jun 16 15:10:47 2003 +0000 |
| tree | 48c3fd546c1bc7ef7cd3253fe028504aca30e216 | |
| parent | a93b3cc9c2c60353aacf764bcbead04603055362 [diff] |
Only fix up pathnames in installed scripts when needed, i.e. when not installing to /. Pathnames are correct for installing to / since the DESTDIR patch.