diff options
Diffstat (limited to 'gnu/lib/libreadline/doc/history/Makefile')
| -rw-r--r-- | gnu/lib/libreadline/doc/history/Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gnu/lib/libreadline/doc/history/Makefile b/gnu/lib/libreadline/doc/history/Makefile deleted file mode 100644 index 4b8112af618d..000000000000 --- a/gnu/lib/libreadline/doc/history/Makefile +++ /dev/null @@ -1,14 +0,0 @@ -# $Id$ - -SRCDIR= ${.CURDIR}/../../../../../contrib/libreadline/doc - -INFO = history - -INFOSECTION= "Programming & development tools." -INFOENTRY_history= "* History: (history). The GNU History library." - -SRCS= hist.texinfo - -history.info: hist.texinfo hstech.texinfo hsuser.texinfo - -.include <bsd.info.mk> |