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

Thu Dec 26 12:08:21 CET 2002

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 :-)

Just my two cents

cu

Fabian