Re: Adds a site search to website and improves doc search(issue4894053)

[Phil Holmes]

----- Original Message ----- 
From: "Phil Holmes" <address@hidden>
To: "Graham Percival" <address@hidden>
Cc: <address@hidden>; <address@hidden>; 
<address@hidden>; <address@hidden>
Sent: Tuesday, August 23, 2011 9:15 PM
Subject: Re: Adds a site search to website and improves doc 
search(issue4894053)


> ----- Original Message ----- 
> From: "Graham Percival" <address@hidden>
> To: "Phil Holmes" <address@hidden>

> > This is **not** the website.  That's a copy of the "web" manual,
> > but it's built with a completely different mechanism.
>
> AFAICS it's the only version of the web material that looks like the real 
> website - images, css, etc, included.

Thinking about this a little further - part of the problem is that make 
website doesn't do anything like make the website.  It just creates the html 
files.  It really ought to put the images and css files in the right place, 
fix up the links etc.  I'm sure this would cause the normal difficulties 
about getting it to work, but a) I don't think doing this would add much to 
the run time of make website and b) it's really what should happen.  You 
agree?

--
Phil Holmes