Re: Make broken on master

[Graham Percival]

On Mon, Jul 27, 2009 at 05:34:39PM +0200, John Mandereau wrote:
> Le lundi 27 juillet 2009 à 09:01 -0600, Carl Sorensen a écrit :
> > Current master.
> 
> Did you mean 2848f13c9c7fe59b47165832348e14d771439dc7?

Also, does "git status" report any untracked files?  Stuff like
Documentation/user/ should be gone now.

> > There is a Documentation/user/out-www/identifiers.tely.
> > 
> > There is a Documentation/user/out/identifiers.tely

> > I've done make clean.  Is there more?
> 
> Err, you know about 'make doc-clean', don't you?
> 'make clean' cleans mostly only stuff in out/, whereas out-www/
> directories are removed by 'make doc-clean'.

There's also "make distclean", which is supposed to be "cleaner
than clean", but IIRC that doesn't remove the stuff done by
doc-clean.

> As an alternative, there is Graham's good old way
> 
> rm -rf * && git reset --hard

In this case, I think it's worth it.  After MAKING SURE that
you've moved any of your recent work out of that directory.

Cheers,
- Graham