1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 002ff6b..8f8b529 100644
--- a/Makefile
+++ b/Makefile
@@ -80,6 +80,9 @@ lisp:
 docs:
 	@$(MAKE) -C docs docs
 
+texi:
+	@$(MAKE) -C docs texi
+
 info:
 	@$(MAKE) -C docs info
 
@@ -150,9 +153,6 @@ clean-stats:
 
 ## Release management ################################################
 
-texi:
-	@$(MAKE) -C docs texi
-
 authors:
 	@$(MAKE) -C docs authors