From 9902111423f393c4c0079feb4f51dfe425173b00 Mon Sep 17 00:00:00 2001
From: Yoni Rabkin <yoni@rabkins.net>
Date: Tue, 11 Aug 2020 08:52:29 -0400
Subject: * dir: shorten the name of the info file

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

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index dd20ede..a9d6a96 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,7 +1,7 @@
 # Don't delete if make is interrupted
 .PRECIOUS: %.info %.html
 
-all: rt-liberation.info
+all: rt-liber.info
 
 %.info: %.texinfo
 	makeinfo --no-split $<
-- 
cgit v1.2.3