[MPlayer-DOCS] <application> attack

[Diego Biurrun]

Torinthiel writes:
 > I've made a patch adding (most?) missing <application> tags. To be more
 > specific those around MPlayer and MEncoder (it was easy to find them
 > with grep ;)

Excellent!

 > The patch includes adjustments for linewidth, as 2x <application> is
 > quite something and often makes lines MUCH longer than 80 chars. (I can
 > rewrite this if desired)

No, it's OK.  I was planning to do a big cosmetic rewrite some day
anyway (fixing indentation, line width, etc).

 > I have questions about some places where I wasn't sure whether to add
 > the tag (all line numbers are after the patch, i.e. can be a bit larger
 > than in CVS now):
 > codecs.xml, 534: download MPlayer CVS (about adding QT support)
 > documentation.xml, 31: within <title> add as well?
 > documentation.xml, 115: MPlayer's Movie Encoder
 > documentation.xml, 116, 118: MPlayer-playable
 > documentation.xml, 126: this time MEncoder in <title>
 > faq.xml, 1142, formats.xml, 28, 159: MEncoder in <link>
 > history.xml, multiple: all the headings with <emphasis>
 > install.xml, 649: MPlayer FTP site (growing subtitles delay)
 > install.xml, 658: <title> again, but this time it's MPlayer's sub format
 > install.xml, 706: MPlayer font package
 > install.xml, 725: MPlayer site (still fonts)
 > mail-lists.xml, many: List names, ports, MWN
 > ports.xml, 27: Debian * ports
 > skin.xml, 4: another <title> MPlayer skin format
 > tvinput.xml, 132: MPlayer's tree
 > users-vs-dev, 177: MPlayer in <ulink>

Add them everywhere.

 > And some other issues I've found nearby (will fix if get positive
 > response and when this is resolved as it conflicts sometimes)
 >  - etc/inittypes.h has been moved to ftp. But it's still in faq.xml
 >  - faq.xml, 683: shouldn't it be <screen> instead of &quot;?

Thanks, I'm on it, I'll fix it along with a few other things in
faq.xml.

 >  - (mainly) ports.xml shouldn't MinGW and CygWin be in <app> tags as
 >    well? (at lest MinGW is not always within)

Yes, good idea.

Diego