Derick Rethans wrote: > I think that for some reason the old files are not deleted when I create > a new manual on top over it (the buildsystem doesn't do that I mean, not > my script). I guess I can fix this but is it important? (I'd rather > spend time on setting livedocs up).
Maybe deleting the old files by your script or `make clean` will be sufficient. Jakub Vrana
