diff options
Diffstat (limited to 'doc/ref/Makefile')
| -rw-r--r-- | doc/ref/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ref/Makefile b/doc/ref/Makefile index 35dd6604..2232a70e 100644 --- a/doc/ref/Makefile +++ b/doc/ref/Makefile @@ -1,4 +1,4 @@ -TEXI_FILES := $(wildcard *.texi) +TEXI_FILES := $(shell find . -type f -name \*.texi) INFOFLAGS := all: calp.info |