diff --git a/gnu/lib/libreadline/history/doc/Makefile b/gnu/lib/libreadline/history/doc/Makefile index 4fdf229fc98..4b050e75ad9 100644 --- a/gnu/lib/libreadline/history/doc/Makefile +++ b/gnu/lib/libreadline/history/doc/Makefile @@ -7,8 +7,6 @@ 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 manvers.texinfo +history.info: history.texi hstech.texi hsuser.texi version.texi fdl.texi .include diff --git a/gnu/lib/libreadline/readline/doc/Makefile b/gnu/lib/libreadline/readline/doc/Makefile index 6602de54abd..42254de7fda 100644 --- a/gnu/lib/libreadline/readline/doc/Makefile +++ b/gnu/lib/libreadline/readline/doc/Makefile @@ -8,13 +8,13 @@ INFOSECTION= "Programming & development tools." INFOENTRY_readline= "* Readline: (readline). The GNU Readline library" INFOENTRY_rluserman= "* Readline: (readline). The GNU readline library API" -CLEANFILES += readline.texinfo +CLEANFILES += readline.texi -readline.info: rlman.texinfo rltech.texinfo rluser.texinfo manvers.texinfo +readline.info: rlman.texi rluser.texi rltech.texi version.texi fdl.texi -readline.texinfo: rlman.texinfo - cp ${SRCDIR}/rlman.texinfo ${.TARGET} +readline.texi: rlman.texi + cp ${SRCDIR}/rlman.texi ${.TARGET} -rluserman.info: rluser.texinfo manvers.texinfo +rluserman.info: rluserman.texi version.texi rluser.texi fdl.texi .include