[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: difference betwwen \pad-around and \pad-markup?
From: |
Neil Puttock |
Subject: |
Re: difference betwwen \pad-around and \pad-markup? |
Date: |
Tue, 11 Aug 2009 20:34:28 +0100 |
2009/8/11 Mark Polesky <address@hidden>:
> When grepping for pad-markup, two hits are from translated docs.
> Do I just silently modify them, or do I need to notify the
> translators?
Modifying them is OK, as long as you don't change any non-snippet
documentation (see CG 8.7.3, `Write documentation')
You could run update-snippets.py after amending the corresponding
snippet in the english docs, but it's probably simpler just to edit
the files manually (you'll have to change the index entries anyway).
> Skimming through CG 3.7.4, it mentions running "make
> check-translation"... can I do that on Windows? And do I need to
> update documentation PO for such a small change?
None of this is necessary (or desirable).
Regards,
Neil
- Re: difference betwwen \pad-around and \pad-markup?, Valentin Villenave, 2009/08/01
- Re: difference betwwen \pad-around and \pad-markup?, Mark Polesky, 2009/08/01
- Re: difference betwwen \pad-around and \pad-markup?, Mark Polesky, 2009/08/01
- Re: difference betwwen \pad-around and \pad-markup?, Neil Puttock, 2009/08/01
- Re: difference betwwen \pad-around and \pad-markup?, Graham Percival, 2009/08/01
- Re: difference betwwen \pad-around and \pad-markup?, Mark Polesky, 2009/08/11
- Re: difference betwwen \pad-around and \pad-markup?,
Neil Puttock <=
- Re: difference betwwen \pad-around and \pad-markup?, John Mandereau, 2009/08/11
- Re: difference betwwen \pad-around and \pad-markup?, Neil Puttock, 2009/08/11
- Re: difference betwwen \pad-around and \pad-markup?, John Mandereau, 2009/08/11
- Re: difference betwwen \pad-around and \pad-markup?, Mark Polesky, 2009/08/11
- Re: difference betwwen \pad-around and \pad-markup?, Carl Sorensen, 2009/08/11
- Re: difference betwwen \pad-around and \pad-markup?, Mark Polesky, 2009/08/12
- Re: difference betwwen \pad-around and \pad-markup?, Mark Polesky, 2009/08/12
- Re: difference betwwen \pad-around and \pad-markup?, Carl Sorensen, 2009/08/12
- command_replace function (was: Re: difference betwwen \pad-around and \pad-markup?), Mark Polesky, 2009/08/12
- Re: command_replace function (was: Re: difference betwwen \pad-around and \pad-markup?), Carl Sorensen, 2009/08/12