Thomas Ackermann th.ac...@arcor.de writes:
Howto documents in howto-index.txt were listed in a rather
random order. So better sort them.
Signed-off-by: Thomas Ackermann th.ac...@arcor.de
---
I think $(wildcard) used to sort but in recent GNU make it no longer
does, so this is probably a
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
2 matches
Mail list logo