From ca6887fcaed9bb686efead4b04dea96a05969b45 Mon Sep 17 00:00:00 2001 From: "Andrey A. Chernov" Date: Sat, 7 Jan 1995 01:08:54 +0000 Subject: [PATCH] Fix "make" vs "make all" --- gnu/lib/libreadline/doc/Makefile | 4 ++-- 1 file 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 + history.info: hstech.texinfo hsuser.texinfo readline.info: rltech.texinfo rluser.texinfo - -.include