[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: *.profile file changes in regression tests?

From: Graham Percival
Subject: Re: *.profile file changes in regression tests?
Date: Wed, 2 Nov 2011 13:02:54 +0000
User-agent: Mutt/1.5.20 (2009-06-14)

On Wed, Nov 02, 2011 at 12:03:08PM +0000, Adam Spiers wrote:
> I might have time to take a bash at adding Javascript buttons if
> someone can give me a crash course in how those HTML files are
> constructed (in particular, how I can add stuff to the <head></head>
> section).

No clue, sorry.  git grep is your friend, as is poking around in
the makefiles and/or build scripts until you find something.

> right now - for instance, why is there both of these?
>   build/Documentation/notation/out
>   build/Documentation/out/notation

dunno.  and I've been the documentation editor since 2003.

> and what is the difference between out/ and out-www/ ?

out/ is what you get from "make".  "out-www" is what you get from
"make doc".

The final output is in the top build dir, under
"out-www/offline-root".  That's nice and intuitive, right?

> No doubt some or all of my questions would be answered by section
> 12.4.1 of the CG, but it seems like that section is not necessarily
> complete or reliable,

yep.  (to the "not necessarily complete or reliable" part, not the
"questions would be answered by" part)

- Graham

reply via email to

[Prev in Thread] Current Thread [Next in Thread]