Hi David, I notice that you've worked out the pipeDoc stuff. Great!
There's one slight 'oops' factor in this, though. Now darcs --help no longer seems to go through a pager. I'm guessing it's because less actually just acts like cat if its stdout is being redirected. Surely there is an easy solution. Do we need a variant of pipeDoc just for viewDoc? -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpXCeN2zMwjD.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
