diff options
Diffstat (limited to 'manual/install-plain.texi')
| -rw-r--r-- | manual/install-plain.texi | 5 |
1 files changed, 5 insertions, 0 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 |