diff options
Diffstat (limited to '')
-rw-r--r-- | doc/ref/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/ref/Makefile b/doc/ref/Makefile index 2232a70e..79486a46 100644 --- a/doc/ref/Makefile +++ b/doc/ref/Makefile @@ -1,7 +1,12 @@ +.PHONY: all install + TEXI_FILES := $(shell find . -type f -name \*.texi) -INFOFLAGS := +INFOFLAGS := --no-split all: calp.info calp.info: $(TEXI_FILES) - makeinfo $(INFOFLAGS) calp.texi + makeinfo -o $@ $(INFOFLAGS) calp.texi + +install: all + install -m644 -D -t $(DESTDIR)/usr/share/info/ calp.info |