···1111 patches = [ ./getcwd-chroot.patch ];
12121313 preConfigure = ''
1414- # Fix location of info and man directories.
1515- configureFlags="--infodir=$out/share/info --mandir=$out/share/man"
1616-1714 # Apply the Debian patches.
1815 for p in "debian/patches/"*; do
1916 echo "applying \`$p' ..."