diff options
Diffstat (limited to 'docs/manual/manual.mk')
| -rw-r--r-- | docs/manual/manual.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk index 4906bc871..bcbedad57 100644 --- a/docs/manual/manual.mk +++ b/docs/manual/manual.mk @@ -53,5 +53,5 @@ $(1)-clean: .PHONY: $(1) $(1)-clean manual-update-lists endef -MANUAL_SOURCES = $(wildcard docs/manual/*.txt) $(wildcard docs/images/*) +MANUAL_SOURCES = $(sort $(wildcard docs/manual/*.txt) $(wildcard docs/images/*)) $(eval $(call GENDOC,manual)) |