diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-03-08 12:53:33 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-03-15 01:43:12 +0100 |
commit | 8cac3802cb2c88926bf683af475eba0f459c703f (patch) | |
tree | 0df6e99526ca89d1946ec76b7494b02237cce0c8 /doc | |
parent | Add native UUID generator. (diff) | |
download | calp-8cac3802cb2c88926bf683af475eba0f459c703f.tar.gz calp-8cac3802cb2c88926bf683af475eba0f459c703f.tar.xz |
Bulid and install info files from main make.
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 |