diff options
| author | Guillem Jover <guillem@debian.org> | 2005-06-02 19:17:39 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2005-06-02 19:17:39 +0000 |
| commit | 5ac4e87651738136bbd810b1af9f9d461fdb12b3 (patch) | |
| tree | 06209405832837a4d7cfb6ce3b7ae8ec798b2dc3 /debian/patches | |
| parent | 286529c2dcd27f1d8a3def2d4d01591095c0f85d (diff) | |
Provide a udeb package.
- Depend on debhelper >= 4.2.
Cleaned debian/rules:
- Merge install-gnumach-dev target with install-gnumach.
- Add PHONY targets.
- Remove unused all target.
Diffstat (limited to 'debian/patches')
0 files changed, 0 insertions, 0 deletions