>
> 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
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
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
3 matches
Mail list logo