diff options
| author | Andrey A. Chernov <ache@FreeBSD.org> | 1995-01-07 01:08:54 +0000 |
|---|---|---|
| committer | Andrey A. Chernov <ache@FreeBSD.org> | 1995-01-07 01:08:54 +0000 |
| commit | ca6887fcaed9bb686efead4b04dea96a05969b45 (patch) | |
| tree | 0d81a033f6781a6e0a937ec4e2b1791102890973 /gnu/lib/libreadline/doc | |
| parent | 10d65ca95796bbdc0e9202b4d8ff76d8a70fb4f9 (diff) | |
Notes
Diffstat (limited to 'gnu/lib/libreadline/doc')
| -rw-r--r-- | gnu/lib/libreadline/doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/lib/libreadline/doc/Makefile b/gnu/lib/libreadline/doc/Makefile index 370458b02d21..9f661b1148c2 100644 --- a/gnu/lib/libreadline/doc/Makefile +++ b/gnu/lib/libreadline/doc/Makefile @@ -1,6 +1,6 @@ INFO = history readline +.include <bsd.info.mk> + history.info: hstech.texinfo hsuser.texinfo readline.info: rltech.texinfo rluser.texinfo - -.include <bsd.info.mk> |