mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-10-29 05:40:23 -04:00
5effc83479
FSF addresses used in PA sources are no longer valid and rpmlint generates numerous warnings during packaging because of this. This patch changes all FSF addresses to FSF web page according to the GPL how-to: https://www.gnu.org/licenses/gpl-howto.en.html Done automatically by sed-ing through sources.
36 lines
1.4 KiB
DTD
36 lines
1.4 KiB
DTD
<!--
|
|
This file is part of PulseAudio.
|
|
|
|
PulseAudio is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 2 of the License, or (at your
|
|
option) any later version.
|
|
|
|
PulseAudio is distributed in the hope that it will be useful, but WITHOUT
|
|
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with PulseAudio; if not, see <http://www.gnu.org/licenses/>.
|
|
-->
|
|
|
|
<!ELEMENT manpage (synopsis | description | section | options | seealso)*>
|
|
<!ATTLIST manpage name CDATA #REQUIRED section CDATA #REQUIRED desc CDATA #IMPLIED>
|
|
<!ELEMENT arg (#PCDATA)>
|
|
<!ELEMENT p (#PCDATA | arg | url | manref | opt | file )*>
|
|
<!ELEMENT synopsis (cmd | p)+>
|
|
<!ELEMENT description (p)+>
|
|
<!ELEMENT section (p | option)*>
|
|
<!ATTLIST section name CDATA #REQUIRED>
|
|
<!ELEMENT option (#PCDATA | p | optdesc)*>
|
|
<!ELEMENT optdesc (#PCDATA | p )*>
|
|
<!ELEMENT cmd (#PCDATA | arg | opt)*>
|
|
<!ELEMENT options (p | option)*>
|
|
<!ELEMENT seealso (p)*>
|
|
<!ELEMENT opt (#PCDATA)>
|
|
<!ELEMENT file (#PCDATA)>
|
|
<!ELEMENT manref EMPTY>
|
|
<!ATTLIST manref name CDATA #REQUIRED section CDATA #REQUIRED href CDATA #IMPLIED>
|
|
<!ELEMENT url EMPTY>
|
|
<!ATTLIST url href CDATA #REQUIRED>
|