actually include docbook patch file, make sure processed man page cleaned up
[debian/efibootmgr] / debian / efibootmgr.docs
1 README
2 doc/TODO