On Wednesday, August 6, 2003, at 10:42 PM, Fred Kiefer wrote:
Richard Frith-Macdonald wrote:
On Wednesday, August 6, 2003, at 07:09 AM, Richard Frith-Macdonald
wrote:
Removing the stamp file therefore fixes the problem ... since make
can no
longer read it for dependency information.
distclean ought to remove the stamp file for you ... but perhaps it
isn't doing
it properly. Or perhaps the file was created by root and you can't
remove it?
Another thought ... since the filesystem layout change, the
documentation is
built in three parts, and there therefore three stamp files (in the
Gui, GuiAdditions,
and GuiUser subdirectories). Perhaps, when you removed the stamp file,
you removed the wrong one? I think the one with the old dependency info
would have been in the Gui subdirectory.
The only stamp file I have is the one in gui/Source/Gui and that was
the one I did remove manually. So neither make distclean nor manuall
removal work for my and I do all this testing as root. No idea, why
this works for you.
I *think* I have tracked this down ...
The stamp file is regenerated taking information from the .igsdoc file.
There was a bug in the autogsdoc make file which caused the stamp
file to be regenerated when doing a 'make clean'
I think the 'make clean' is now fixed in CVS ... so you could try that.
Alternatively, try deleting Gui.igsdoc as well as stamp