plugin should work in chroot environments where there is no /bin/sh
|Reported by:||anonymous||Owned by:||Noah Kantrowitz|
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.