id,summary,reporter,owner,description,type,status,priority,component,severity,resolution,keywords,cc,release 1421,plugin should work in chroot environments where there is no /bin/sh,anonymous,Alec Thomas,"os.system requires /bin/sh which may not be available in some chroot environments. os.spawnlp can be used instead to provide more compatibility, since it does not require /bin/sh. Also this change should result in less overhead since a shell doesn't need to be forked first before htmldoc. I attached a simple patch (what I am using). I made the patch just a 1 line change so it would likely apply fine to later releases, however if integrating it into the code base some other argument references should probably be removed above.",defect,closed,normal,PageToPdfPlugin,normal,wontfix,,,0.10