diff options
| author | Andrey A. Chernov <ache@FreeBSD.org> | 1995-01-04 22:19:34 +0000 |
|---|---|---|
| committer | Andrey A. Chernov <ache@FreeBSD.org> | 1995-01-04 22:19:34 +0000 |
| commit | 687af2f4b80c7708d70f7c1dbefa4846c9616d26 (patch) | |
| tree | a7860164aeb9893bf4cc13c8ed485f37ac9dccd0 /gnu/lib/libreadline | |
| parent | 6f2b954ba5f5a7d530f7a4e3c2b366beaccf55bd (diff) | |
Notes
Diffstat (limited to 'gnu/lib/libreadline')
| -rw-r--r-- | gnu/lib/libreadline/doc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/lib/libreadline/doc/Makefile b/gnu/lib/libreadline/doc/Makefile index e64837b2c8a5..370458b02d21 100644 --- a/gnu/lib/libreadline/doc/Makefile +++ b/gnu/lib/libreadline/doc/Makefile @@ -1,3 +1,6 @@ INFO = history readline +history.info: hstech.texinfo hsuser.texinfo +readline.info: rltech.texinfo rluser.texinfo + .include <bsd.info.mk> |