30 Sep
2015
30 Sep
'15
3:24 p.m.
On 30/09/15 14:20, Hugh Cayless wrote:
Yeah, have at it. I’m just making stuff up as I go along :-).
Likewise!
and you’re away. Probably no need to do anything to the Makefile as long as you have the pureodd branch checked out.
I do, because by default the Makefile uses the copy of the Stylesheets installed in /usr/local/xml/tei .. however there is a little known cool feature of the makefile which allows some of the initial declarations to be locally overriden by using a file called local.mk