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

[Diego Biurrun]

seru writes:
 > El vie, 20 de dic de 2002, a las 07:40:04 +0100, Alex Beregszaszi dijo:
 > > yesterday we've discussed the $subject on #mplayer @ freenode.
 > > Mostly Fire and I have done the attached patch.
 > > But there are questions remaining:
 > >  * should DOCS/tech/ installed too?
 > Not interesting for users :/

Make this configurable by a switch.  I have just rethought this, it
should default to off.

 > >  * change the DOCS/{translations}/ to 2-char statecodes?
 > I'd use locales (which are sometimes be >4-char, so no necessarily
 > 2-char) so you can add them as a config switch, see below.

Whatever.

 > >  * merge back the non-developer docs of tech/ into the main DOCS?
 > I'll have a look at it, which docs you mean exactly?
 > tech/TODO:- merge tech/vop.txt and tech/libavc-options.txt into the man page
 > <al3x> the tech/ contains for example swscaler_filters.txt, lavc-options.txt and other interesting docs

Yes, feel free to send a patch that syncs the HTML docs with these
documents, it's planned, but who knows when it will happen.

 > >  * install the translated DOCS depending on the configure --language
 > >    option?
 > I would create another switch, like --docs-locale=en,hu,de,fr; which would install english, hungrian, german and french html help.

and tech

 > > Awaiting your suggestions!
 > I would suggest creating new subdirs in DOCS/ :
 > DOCS/html
 > DOCS/html/en, for the english standard docs. I'd also suggest renaming documentation.html to index.html
 > DOCS/html/{fr,hu,de,....} for translated ones
 > DOCS/man, for the manpage (mplayer.1 now is in DOCS itself)
 > DOCS/tech (not to be installed, only for developers)

index.html sounds good.  It is indeed a more standard name.

Hmmm.  I'm indifferent about the rest.

 > And move MAINTAINERS, TODO, wishlist to main directory and rename
 > them to more standard names if needed (ChangeLog, AUTHORS, README
 > are in main already).

Sounds like a good idea to me.

What would be more standard names?

 > (btw) And changing
 > $(INSTALL) -c -m 644 DOCS/mplayer.1 $(MANDIR)/man1/mplayer.1
 > into 
 > $(INSTALL) -c -m 644 DOCS/mplayer.1 $(MANDIR)/$(LANG)/man1/mplayer.1
 > Nico's idea :) see http://mplayerhq.hu/pipermail/mplayer-dev-eng/2002-December/013551.html

For non-English, yes.

 > > P.S.: dunno how the debian/ works, but it should do the same
 > It should work just fine, maybe this line should be changed in debian/rules:
 >         $(MAKE) prefix=$(prefix)/usr BINDIR=$(prefix)/usr/bin CONFDIR=$(prefix)/etc/mplayer LIBDIR=$(prefix)/usr/lib DATADIR=$(prefix)/usr/share/mplayer  MANDIR=$(prefix)/usr/share/man  install
 > into
 >         $(MAKE) prefix=$(prefix)/usr BINDIR=$(prefix)/usr/bin CONFDIR=$(prefix)/etc/mplayer LIBDIR=$(prefix)/usr/lib DATADIR=$(prefix)/usr/share/mplayer  DOCSDIR=($prefix)/doc/mplayer MANDIR=$(prefix)/usr/share/man  install

Already handled by dh_installdocs.

Diego