Hi, I would just remove it *now*, as this is easy to do. (And removes the confusion for our users.)
If you want to add make-fai-bootfloppy-iso, I suggest you name it make-fai-iso ;-) and send a patch :-D But I really think this is a different bug/issue and should not block fixing this issue. regards, Holger, who sincerly believes NICs which dont support PXE and etherboot should just be ignored. A new gigabit NIC costs, what, 7 euro?
pgpZihcxdgBa2.pgp
Description: PGP signature