----- Original Message -----
From: "Phil Holmes" <[email protected]>
To: "Graham Percival" <[email protected]>
Cc: <[email protected]>; <[email protected]>;
<[email protected]>; <[email protected]>
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" <[email protected]>
To: "Phil Holmes" <[email protected]>
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
_______________________________________________
lilypond-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-devel
