From ab8f059cc19d0a7d9f52a4374636f704a9887f1d Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sat, 6 Nov 2010 14:22:53 +0100
Subject: Manual nits

---
 doc/macros.texi | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'doc/macros.texi')

diff --git a/doc/macros.texi b/doc/macros.texi
index 712370a..4b235db 100644
--- a/doc/macros.texi
+++ b/doc/macros.texi
@@ -1,7 +1,3 @@
-@macro repl{}
-@acronym{REPL}
-@end macro
-
 @macro img{FILE, ALIGN}
 @ifhtml
 @html
-- 
cgit v1.2.3