Frank Sundermeyer
Frank Sundermeyer
Thanks, fixed with 4451329e
I do not see any reason to fix this - filenames on Linux are case-sensitive and therefore *.PNG is the wrong file extension. Why not fixing the file name(s)? I...
Will not be fixed, but should be properly documented.
Fixed with 6e97f73
> > Seeing not the filenames is a real problem for some, do you agree? It makes debugging harder. > That is a big downside. I missed that part, sorry....
> 2. If the validation failed: > a. Split the bigfile according to the `xml:base` (could be done by some XSLT magic). > b. Iterate over all files created by...
Profiled files and bigfiles all have xml:base set for MAIN. When creating a bigfile, an xml:base for MAIN is, of course, only set if you generate it for the complete...
toms, could you have a look? Seems to be stylesheet-related.
Was laready fixed with 8dfa08ae78fb07. Exclude files from packaging have been removed with 8301ac181.
Actually, I would prefer to keep them in DAPS and to continue shipping them. Moving them into a seperate repository will add yet _another_ repo aand I have _already_ lost...