diff options
Diffstat (limited to 'manual/install-plain.texi')
| -rw-r--r-- | manual/install-plain.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/manual/install-plain.texi b/manual/install-plain.texi deleted file mode 100644 index c5179e780c..0000000000 --- a/manual/install-plain.texi +++ /dev/null @@ -1,5 +0,0 @@ -@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 |