[MPlayer-dev-eng] [PATCH] installing DOCS/ during make install
Diego Biurrun
diego at biurrun.de
Thu Dec 26 13:28:20 CET 2002
seru writes:
> El mié, 25 de dic de 2002, a las 10:09:07 +0100, Gabucino dijo:
> > seru wrote:
> > > DOCS/html
> > There is currently ONLY html
> I know that, it would be morely to seperate the tech docs, the
> manpages, and the html docs. It's a mess right now :)
Separating tech/ and user docs is on the TODO, the man page can stay
where it is IMHO, it is a user document.
> > > 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 documentation.html is the index file right? It contains links
> to the other files. I, at least, when I wanted to read the docs,
> didn't know which file to open first.
OK, let's do it and rename documentation.html --> index.html.
> On the homepage, http://www.mplayerhq.hu/DOCS/index.html,
> index.html is documentation.html also, isn't it?
No, the web server is configured to use documentation.html as standard
file.
> > > DOCS/man
> > No. The manpage is installed to system-wide location.
> That doesn't have anything to do with it, you must have understood me wrong.
> Right now, before being installed mplayer.1, the english one is in
> main/DOCS, in the same directory as the html docs (???), and the
> translated ones are in main/DOCS/{Hungrian,German,...}, also in the
> same directory as the html docs. The manpage is installed to
> PREFIX/man afterwards (that must be what you mean with a
> system-wide location)
OK, now I see what you mean. This would indeed simplify the install
scripts, but not much. Is this really worth the trouble?
> > > DOCS/man/{en,fr,hu,de,...} for the man pages
> > The manpage translations (few of them) SHOULD BE also installed to system-wide
> > location. (anybody sends a patch? seru?)
> Same here, I meant BEFORE installing.
How about converting mplayer.1 --> mplayer.1.html, linking to it from
index.html and putting it in the $DOCSDIR?
> > > And move MAINTAINERS, TODO, wishlist to main directory and rename if
> > > needed (ChangeLog, AUTHORS, README are in main already)
> > They are not mine..
> Could you ask Arpi?
Arpi, what do you think of this?
Diego
More information about the MPlayer-dev-eng
mailing list