diff options
| author | Michael Banck <mbanck@debian.org> | 2007-07-31 13:45:51 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2007-07-31 13:45:51 +0000 |
| commit | 0726bbc7471015fa8733fb533752f4a1715cbad1 (patch) | |
| tree | f0ed8d77c22b9a36658c4386d6bdf34c28f76313 /debian/hurd.install | |
| parent | eea6a9925f9756929ec9baff1446107bb43acfbc (diff) | |
* debian/hurd.install: Install release/servers.boot into /boot.
Diffstat (limited to 'debian/hurd.install')
| -rw-r--r-- | debian/hurd.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/hurd.install b/debian/hurd.install index def91318..3f2b89fc 100644 --- a/debian/hurd.install +++ b/debian/hurd.install @@ -63,3 +63,4 @@ debian/tmp/etc/login/README debian/tmp/etc/ttys debian/tmp/dev/MAKEDEV debian/tmp/share/msgids/hurd.msgids usr/share/msgids +release/servers.boot boot |