diff options
Diffstat (limited to 'release')
-rw-r--r-- | release/README | 2 | ||||
-rw-r--r-- | release/SOURCES.0.2 | 2 | ||||
-rw-r--r-- | release/dist-README | 3 | ||||
-rw-r--r-- | release/menu.lst | 1 |
4 files changed, 0 insertions, 8 deletions
diff --git a/release/README b/release/README index fcb6a260..016e0713 100644 --- a/release/README +++ b/release/README @@ -9,5 +9,3 @@ into the root of binary distributions. Use `make install-tools tool-root=FOO' to install the tools that are used to build binary distributions. - - diff --git a/release/SOURCES.0.2 b/release/SOURCES.0.2 index 4f50de84..3fc68735 100644 --- a/release/SOURCES.0.2 +++ b/release/SOURCES.0.2 @@ -106,5 +106,3 @@ texinfo (3.9) textutils (1.22) time (1.7) wdiff (0.5) - - diff --git a/release/dist-README b/release/dist-README index afad66cf..20f16275 100644 --- a/release/dist-README +++ b/release/dist-README @@ -34,6 +34,3 @@ to the hurd mailing lists. The GNU system is free software. See the files /share/misc/COPYING and /share/misc/COPYING.LIB. - - - diff --git a/release/menu.lst b/release/menu.lst index 00807dec..cce718c2 100644 --- a/release/menu.lst +++ b/release/menu.lst @@ -47,4 +47,3 @@ install= (fd0)+1 (hd0) (hd0,a)/boot/grub/stage2 0x8000 p # Entry 5: title= Reinstall grub from hard disk to itself install= (hd0)/boot/grub/stage1 (hd0) (hd0,a)/boot/grub/stage2 0x8000 p - |