From: Thomas Ackermann <th.acker@arcor.de>
Date: Sat, 22 Dec 2012 19:54:17 GMT
Subject: Aw: Re: [PATCH] Sort howto documents in howto-index.txt
Message-ID: <1937031575.96914.1356206057592.JavaMail.ngmail@webmail06.arcor-online.net>
In-Reply-To: <7v8v8pri3w.fsf@alter.siamese.dyndns.org>


> 
> 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 asking for a sorted list while
> producing that list.  The result looks to be sorted in my build
> farm with GNU make 3.82, but that could be by accident.
> 

$(API_DOCS) is not fed to api-index.sh; it's only in the dependencies.
api-index.sh uses "ls api-*.txt" internally which produces a correct sorting.

Unifying api-index.sh and howto-index.sh is on my todo list ...


---
Thomas