actually include docbook patch file, make sure processed man page cleaned up debian/0.5.4-4
[debian/efibootmgr] / doc /
drwxr-xr-x   ..
-rw-r--r-- 12872 ChangeLog
-rw-r--r-- 35 TODO