From cdc85229cca069d355a155f023729f70146cba69 Mon Sep 17 00:00:00 2001
From: Jonas Bernoulli <jonas@bernoul.li>
Date: Tue, 18 Jun 2024 16:02:00 +0200
Subject: [PATCH] make: Fix texi target

---
 docs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index 150436f..8341a90 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -3,7 +3,7 @@ include ../default.mk
 
 docs: texi info html html-dir pdf
 
-texi: $(PKG).org
+texi: $(PKG).texi
 info: $(PKG).info dir
 html: $(PKG).html
 pdf:  $(PKG).pdf