diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-10-24 20:37:22 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-10-24 20:37:22 +0200 |
commit | 6d61b893fff20e86573d3021c3ec3dd3ae1698dc (patch) | |
tree | 9e7fed359cdf87757988f3b853b7ac989ca9fb15 | |
parent | Repair labels in HTML. (diff) | |
download | calp-6d61b893fff20e86573d3021c3ec3dd3ae1698dc.tar.gz calp-6d61b893fff20e86573d3021c3ec3dd3ae1698dc.tar.xz |
Use MAKEINFO variable
-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 79486a46..64b3dda3 100644 --- a/doc/ref/Makefile +++ b/doc/ref/Makefile @@ -6,7 +6,7 @@ INFOFLAGS := --no-split all: calp.info calp.info: $(TEXI_FILES) - makeinfo -o $@ $(INFOFLAGS) calp.texi + $(MAKEINFO) -o $@ $(INFOFLAGS) calp.texi install: all install -m644 -D -t $(DESTDIR)/usr/share/info/ calp.info |