diff options
| author | Justin B Rye <jbr@edlug.org.uk> | 2012-05-24 15:09:49 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2012-05-24 15:09:49 +0200 |
| commit | b176de3af77f686a512dec04a98e8fa6ce6af908 (patch) | |
| tree | 617c85f1b90b484064fbf79740ebaad6a8489705 /doc/design.sgml | |
| parent | 187aa32e8c6bafcbeb8aaacf5f6d9f20dcb14854 (diff) | |
* doc/*.xml:
- remove 'GNU/Linux' from 'Debian systems' strings as Debian
has more systems than just GNU/Linux nowadays
Diffstat (limited to 'doc/design.sgml')
| -rw-r--r-- | doc/design.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/design.sgml b/doc/design.sgml index 0fd708162..1ddf49fd8 100644 --- a/doc/design.sgml +++ b/doc/design.sgml @@ -31,7 +31,7 @@ <p> You should have received a copy of the GNU General Public - License with your Debian GNU/Linux system, in + License with your Debian system, in <tt>/usr/share/common-licenses/GPL</tt>, or with the <prgn/debiandoc-sgml/ source package as the file <tt>COPYING</tt>. If not, write to the Free Software |