aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2022-10-24 20:37:22 +0200
committerHugo Hörnquist <hugo@lysator.liu.se>2022-10-24 20:37:22 +0200
commit6d61b893fff20e86573d3021c3ec3dd3ae1698dc (patch)
tree9e7fed359cdf87757988f3b853b7ac989ca9fb15
parentRepair labels in HTML. (diff)
downloadcalp-6d61b893fff20e86573d3021c3ec3dd3ae1698dc.tar.gz
calp-6d61b893fff20e86573d3021c3ec3dd3ae1698dc.tar.xz
Use MAKEINFO variable
-rw-r--r--doc/ref/Makefile2
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