Aw: Re: [PATCH] Sort howto documents in howto-index.txt

2012-12-22 Thread Thomas Ackermann
> > I think $(wildcard) used to sort but in recent GNU make it no longer > does, so this is probably a good change. > > Do we need to explicitly sort the api-index as well? $(API_DOCS) is > fed to the script that reads filenames one at a time in the given > order, but I do not see anybody askin

Re: [PATCH] Sort howto documents in howto-index.txt

2012-12-22 Thread Junio C Hamano
Thomas Ackermann writes: > Howto documents in howto-index.txt were listed in a rather > random order. So better sort them. > > Signed-off-by: Thomas Ackermann > --- I think $(wildcard) used to sort but in recent GNU make it no longer does, so this is probably a good change. Do we need to expli

[PATCH] Sort howto documents in howto-index.txt

2012-12-22 Thread Thomas Ackermann
Howto documents in howto-index.txt were listed in a rather random order. So better sort them. Signed-off-by: Thomas Ackermann --- Documentation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/Makefile b/Documentation/Makefile index d7417b8..ff8ad9a 100