diff options
author | Siddhesh Poyarekar <siddhesh@redhat.com> | 2013-12-05 09:34:58 +0530 |
---|---|---|
committer | Siddhesh Poyarekar <siddhesh@redhat.com> | 2013-12-05 09:58:20 +0530 |
commit | d136c6dc1ef46900488df20bb842909b73479f74 (patch) | |
tree | 18831e5fdd27447cdcc61590d185602252ba92f5 /manual | |
parent | ab07cea8bb9c912e42653338e8ebf4d3b1c72bdc (diff) | |
download | glibc-d136c6dc1ef46900488df20bb842909b73479f74.tar.gz glibc-d136c6dc1ef46900488df20bb842909b73479f74.tar.xz glibc-d136c6dc1ef46900488df20bb842909b73479f74.zip |
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.
Diffstat (limited to 'manual')
-rw-r--r-- | manual/install-plain.texi | 5 | ||||
-rw-r--r-- | manual/install.texi | 6 |
2 files changed, 8 insertions, 3 deletions
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 diff --git a/manual/install.texi b/manual/install.texi index aaf27c9e4a..535dc19147 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -1,10 +1,10 @@ -@c This is for making the `INSTALL' file for the distribution. -@c Makeinfo ignores it when processing the file from the include. -@setfilename INSTALL @include macros.texi @include pkgvers.texi +@ifclear plain @node Installation, Maintenance, Library Summary, Top +@end ifclear + @c %MENU% How to install the GNU C Library @appendix Installing @theglibc{} |