binary-grub2 stage file filename doubt

[adrian15 <adrian15sgd@gmail.com>]

(This applies to Debian Stable's Debian Live)

I have noticed that:

/usr/lib/live/build/binary_grub2

has these two lines:

  # Checking stage file
  Check_stagefile .build/binary_grub

  # Creating stage file
  Create_stagefile .build/binary_grub

which I suppose should be renamed to be:

  # Checking stage file
  Check_stagefile .build/binary_grub2

  # Creating stage file
  Create_stagefile .build/binary_grub2


As grub2 is not grub2 but grub version 2 I was asking myself if that 
TYPO was made on purpose or if I should file a bug for it.

Thank you.

adrian15
--
Support free software. Donate to Super Grub Disk. Apoya el software 
libre. Dona a Super Grub Disk. http://www.supergrubdisk.org/donate/