diff --git a/gnu/lib/libreadline/doc/Makefile b/gnu/lib/libreadline/doc/Makefile index 9f661b1148c2..370458b02d21 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