diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-07-06 01:18:39 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-07-06 01:18:39 +0000 |
commit | 8079ca9ca323b20cfd62cf40606018aa8422bac5 (patch) | |
tree | 1f1744aa8a0796912ac1c0aff067b6c0944469fc /doc/Makefile | |
parent | 1330a068760d58d2451ca94c4845e8c39ee23642 (diff) |
(ps-HURDLIBS): Renamed from HURDLIBS.
(ps): Fix dependencies.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions