aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 37461b4..dc17347 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ doc: info
info: splashtool.info.gz
-%.info.gz: info/%.texinfo.install
+%.info.gz: info/%.texinfo
makeinfo "$<"
gzip -9 -f "$*.info"
generated by cgit v1.2.3-70-g09d2 (git 2.51.0) at 2026-02-20 21:53:19 +0000