[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