diff options
| author | Miles Bader <miles@gnu.org> | 1995-08-19 01:55:32 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-08-19 01:55:32 +0000 |
| commit | 379c170d5f7d2f85aa7311ae7e13801a00954873 (patch) | |
| tree | c6152e97200c9e74dd5b37ba3d3b7878f7b9ebf9 /devio/devpager.c | |
| parent | 45f0b7b92034e5d89a267a3cb2f1537240e5b7ee (diff) | |
[$(doinst)==many] (HURDLIBS-libs): Use plain OTHERLIBS as well as the target
specific $@-OTHERLIBS.
Diffstat (limited to 'devio/devpager.c')
0 files changed, 0 insertions, 0 deletions