What change do make to Makefile locally? I am surprised that is needed. I would expct everything to be in variables you can change on command line The Dtd question is a pig. It's affected by order in which things are present in source Sent from my iPad >