From d136c6dc1ef46900488df20bb842909b73479f74 Mon Sep 17 00:00:00 2001 From: Siddhesh Poyarekar Date: Thu, 5 Dec 2013 09:34:58 +0530 Subject: BZ #15941: Fix INSTALL file regeneration failure with makeinfo 5.x I have skipped regenerating the INSTALL file because we want to continue using the 4.x generator for now. --- manual/install-plain.texi | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 manual/install-plain.texi (limited to 'manual/install-plain.texi') diff --git a/manual/install-plain.texi b/manual/install-plain.texi new file mode 100644 index 0000000000..c5179e780c --- /dev/null +++ b/manual/install-plain.texi @@ -0,0 +1,5 @@ +@c This is for making the `INSTALL' file for the distribution. +@c Makeinfo ignores it when processing the file from the include. +@setfilename INSTALL +@set plain +@include install.texi -- cgit v1.2.3