[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging dev/texi2html [was: Re: Clean history]
From: |
John Mandereau |
Subject: |
Re: Merging dev/texi2html [was: Re: Clean history] |
Date: |
Thu, 21 Aug 2008 22:20:01 +0200 |
2008/8/21 Reinhold Kainhofer <address@hidden>:
> Hehe, that's exactly why I'm all for reducing the output: I tried debugging
> some build problems with the documentation using texi2html, but was so
> overwhelmed by the 100.000+ lines of build output that it was really hard to
> not loose orientation...
I usually use Emacs I-search or less regexp search to navigate in the
enormous log, and I often find quite easily what I'm looking for.
Cheers,
John
- Re: Merging dev/texi2html [was: Re: Clean history], (continued)
- Re: Merging dev/texi2html [was: Re: Clean history], Francisco Vila, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Han-Wen Nienhuys, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Valentin Villenave, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/26
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history],
John Mandereau <=
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html, Werner LEMBERG, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/22
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/22
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/23
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Francisco Vila, 2008/08/21