[tei-council] revisions to http://www.tei-c.org/Guidelines/P5/get.xml (was Re: "right" way to locally build customization?)

Thu Dec 12 11:13:44 EST 2013

On 11 Dec 2013, at 23:22, Kevin Hawkins <kevin.s.hawkins at ultraslavonic.info> wrote:

> I'm debating whether to keep the rest of you on this thread, but I hope 
> that all can help Sebastian and me make this documentation easier to 
> read.  

I have sent Kevin a revised XML

> 
> The div hierarchy (with the <head>s on each div) doesn't make sense 
> since the discussion of the GitHub repository is under a section called 
> "Using the SourceForge Repository".  In fact, the whole page has this 
> title as well, but should be renamed to something broader.  Suggestions 
> welcome.
Using the TEI source repositories ?
> 
> I can rearrange and retitle sections, but first I need to know whether 
> the section called "Prerequisites for use of TEI source packages" 
> applies to the packages currently on SF, GitHub, or both.
> 
both

> Also, in order to use the makefile in the P5 package (from SF), do you 
> need to have both the Stylesheets and Roma packages (from GitHub) 
> installed?  Does the Roma package require the P5 or Roma packages?  Does 
> the Stylesheets package require the P5 or Roma package?

* Stylesheets needs nothing
* P5 needs Stylesheets
* no-one needs Roma
--
Sebastian Rahtz
Director (Research) of Academic IT
University of Oxford IT Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431