actually include docbook patch file, make sure processed man page cleaned up
[debian/efibootmgr] / INSTALL
1 Running 'make' builds the file src/efibootmgr/efibootmgr.
2 efibootmgr should be placed into /usr/sbin/.
3
4
5