remove files duplicated from other repos (#18)

* remove symbols from https://github.com/metamath/symbols

* remove `symbols/`

* remove `*.mm` files duplicated from set.mm repo

* remove `metamath/` dir duplicated from metamath-exe repo

* rm `mmbiblio.html` duplicated from set.mm

* remove install.log generated file

* remove install.sh from metamath-website-scripts

* remove *.raw.html from set.mm

* remove __README.TXT generated files

* rename biblio to mmbiblio.raw.html

* rename mmrecent to mmrecent.raw.html

* rm mmrecent_IL.html from set.mm repo

* rm mmhil.html from set.mm repo

* remove rdme-metamathsite.txt (duplicates README.TXT)

* remove references to metamathsite.zip, direct to github

Author: digama0

README.TXT

@@ -1,4 +1,4 @@
-This is the REAME.TXT file that accompanies the Metamath site download,
+This is the README.TXT file that accompanies the Metamath site download,
 extracted from one of the downloaded files metamathsite.tar.bz2,
 metamathsite.tar.gz, or metamathsite.zip.
 

__README.TXT

@@ -29,9 +29,7 @@
 <A HREF="favicon.ico">favicon.ico</A><BR>
 <A HREF="README.TXT">README.TXT</A><BR>
 <A HREF="LICENSE.TXT">LICENSE.TXT</A><BR>
-<A HREF="__README.TXT">__README.TXT</A><BR>
 <A HREF="downloads/README.TXT">downloads/README.TXT</A><BR>
-<A HREF="downloads/__README.TXT">downloads/__README.TXT</A><BR>
 
 <!-- We DO want to index this: -->
 <A HREF="symbols/searchindex.html">symbols/searchindex.html</A><BR>
@@ -66,16 +64,7 @@
 <A HREF="install.log">install.log</A><BR>
 <A HREF="missing.html">missing.html</A><BR>
 <A HREF="mm.html">mm.html</A><BR>
-<A HREF="rdme-downloads.txt">rdme-downloads.txt</A><BR>
-<A HREF="rdme-home.txt">rdme-home.txt</A><BR>
-<A HREF="rdme-metamath.txt">rdme-metamath.txt</A><BR>
-<!--
-<A HREF="rdme-metamathsite.txt">rdme-metamathsite.txt</A><BR>
--->
-<A HREF="rdme-mmsolitaire.txt">rdme-mmsolitaire.txt</A><BR>
-<A HREF="rdme-mpegif.txt">rdme-mpegif.txt</A><BR>
-<A HREF="rdme-qlegif.txt">rdme-qlegif.txt</A><BR>
-<A HREF="rdme-symbols.txt">rdme-symbols.txt</A><BR>
+<A HREF="README.TXT">README.TXT</A><BR>
 <!-- <A HREF="thanks.html">thanks.html</A><BR> -->
 <A HREF="unauthorized.html">unauthorized.html</A><BR>
 <A HREF="latex/megillaward2003.aux">latex/megillaward2003.aux</A><BR>
@@ -99,7 +88,6 @@
 <A HREF="latex/metamath.toc">latex/metamath.toc</A><BR>
 <A HREF="latex/realref.sty">latex/realref.sty</A><BR>
 <A HREF="metamath/README.TXT">metamath/README.TXT</A><BR>
-<A HREF="metamath/__README.TXT">metamath/__README.TXT</A><BR>
 <A HREF="metamath/LICENSE.TXT">metamath/LICENSE.TXT</A><BR>
 <A HREF="metamath/big-unifier.mm">metamath/big-unifier.mm</A><BR>
 <A HREF="metamath/demo0.mm">metamath/demo0.mm</A><BR>
@@ -153,7 +141,6 @@
 <A HREF="mmsolitaire/PrimFormula.class">mmsolitaire/PrimFormula.class</A><BR>
 <A HREF="mmsolitaire/QSort.class">mmsolitaire/QSort.class</A><BR>
 <A HREF="mmsolitaire/README.TXT">mmsolitaire/README.TXT</A><BR>
-<A HREF="mmsolitaire/__README.TXT">mmsolitaire/__README.TXT</A><BR>
 <A HREF="mmsolitaire/LICENSE.TXT">mmsolitaire/LICENSE.TXT</A><BR>
 <A HREF="mmsolitaire/State.class">mmsolitaire/State.class</A><BR>
 <A HREF="mmsolitaire/Substitution.class">mmsolitaire/Substitution.class</A><BR>
@@ -184,7 +171,6 @@
 <A HREF="qleuni/bn65_20.gif">qleuni/bn65_20.gif</A><BR>
 
 <A HREF="mpegif/README.TXT">mpegif/README.TXT</A><BR>
-<A HREF="mpegif/__README.TXT">mpegif/__README.TXT</A><BR>
 <A HREF="mpegif/_ccard.gif">mpegif/_ccard.gif</A><BR>  <!-- obsolete -->
 <A HREF="mpegif/_ded.gif">mpegif/_ded.gif</A><BR> <!-- obsolete -->
 <A HREF="mpegif/_lnoth.gif">mpegif/_lnoth.gif</A><BR>
@@ -409,7 +395,6 @@
 <A HREF="mpeuni/varaleph.gif">mpeuni/varaleph.gif</A><BR>
 
 <A HREF="qlegif/README.TXT">qlegif/README.TXT</A><BR>
-<A HREF="qlegif/__README.TXT">qlegif/__README.TXT</A><BR>
 <A HREF="qlegif/_vdash.gif">qlegif/_vdash.gif</A><BR>
 <A HREF="qlegif/favicon.ico">qlegif/favicon.ico</A><BR>
 <A HREF="qlegif/cowboy.gif">qlegif/cowboy.gif</A><BR>
@@ -451,7 +436,6 @@
 <A HREF="qleuni/mmtheoremsall.html">qleuni/mmtheoremsall.html</A><BR>
 <A HREF="qleuni/wagontrain.jpg">qleuni/wagontrain.jpg</A><BR>
 <A HREF="symbols/README.TXT">symbols/README.TXT</A><BR>
-<A HREF="symbols/__README.TXT">symbols/__README.TXT</A><BR>
 <A HREF="symbols/barcx.gif">symbols/barcx.gif</A><BR>
 <A HREF="symbols/barcy.gif">symbols/barcy.gif</A><BR>
 <A HREF="symbols/nmegillanim.gif">symbols/nmegillanim.gif</A><BR>