[MPlayer-dev-eng] [PATCH] installing DOCS/ during make install

Thu Dec 26 13:30:48 CET 2002

Fabian Franz writes:
 > Am Mittwoch, 25. Dezember 2002 23:12 schrieb Gabucino:
 > > seru wrote:
 > > > > > how about renaming Documentation.html to index.html?
 > > > >
 > > > > Why not. But then again, why yes? :)
 > > >
 > > > It's a more standard name, and easyier to reckonize for new users, and
 > >
 > > Ask me 2 years later :D Seriously, I'll think of it.
 > 
 > What about a compromise: 
 > 
 > Creating a index.html with following contents:
 > 
 > <html>
 > <head>
 > 	<meta http-equiv="Refresh" content="0;url=documentation.html">
 > </head>
 > <body>
 > 	If you are not redirected automatically, please click on <a 
 > href="documentation.html">documentation.html</a>
 > </body>
 > </html>
 > 
 > This would help new users, who do not know where to start and also keep the 
 > imho great name documentation.html as one knows what it is :-)

No, that's unnecessary.  We might rename DOCS to documentation (or
DOCUMENTATION) to make this easier, but no such workarounds.
index.html is recognizable enough and DOCS/ should also be somewhat
self-explaining.

Diego