.version
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Sat Jan 22 23:20:18 2011 +0100 (2011-01-22) |
| branch | 1.10 |
| changeset 2390 |
844765e01257 |
| parent 2296 |
d18cc3da3879
|
| child 2400 |
2b19fff44d87 |
| permissions |
-rw-r--r-- |
scripts: create the makeinfo wrapper before we set PATH
If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from 2ed26c6465689c024044f79c19ba302f749d0100)