Re: Wanted: documentation editor

[Graham Percival]

On Fri, Nov 20, 2009 at 09:09:42AM +0100, Jan Nieuwenhuizen wrote:
> Op vrijdag 20-11-2009 om 08:51 uur [tijdzone +0100], schreef Frédéric
> Bron:
> 
> > Can you say how you do it in 30 minutes because each time I want to
> > update the NR after a small modification, its 15 to 20 minutes of
> > compilation...
> > Do you have a secret to make it quicker?
> 
> Type make; go do the laundry; come back; see that it's fine.

Dude, do you scrub them by hand?!  It only takes 2 minutes to dump
the basket into the washer (white clothes and black) and add
powder.  :)

> Takes only 1 minute of your time ;-)

In all seriousness, Jan's right.

1)  cd Documentation; make doc
2)  go cook dinner or read slashdot or catch up on emails or
whatever
3)  if it fails, complain on -devel.  If it succeedes, then commit
the changes you want to test.
4)  touch Documentation/changed-manual.tely
5)  cd Documentation; make doc
6)  go cook dinner or read slashdot or catch up on emails or
whatever
7)  if it fails, complain to the person who sent you the patch.
If it succeedes, then either push the change, or make a proper git
patch and send it to me to be pushed.

Personal time used: 5 minutes or less.  25 minutes are allocated
for documentation-specific emails.

Cheers,
- Graham