texinfo

diff --git a/users.txt b/users.txt
index f760bc3f91006e8934a38aa6c16ad974f6d13337..2689cb71bf6f2575815430c565906127a267d15e 100644 (file)
--- a/users.txt
+++ b/users.txt
@@ -28,6 +28,7 @@ The following packages appear to be using gnulib and gnulib-tool:
   pspp           http://cvs.savannah.gnu.org/viewcvs/pspp/?root=pspp
   shishi         http://josefsson.org/cgi-bin/viewcvs.cgi/shishi/
   tar            http://cvs.savannah.gnu.org/viewcvs/tar/?root=tar
+  texinfo        http://cvs.savannah.gnu.org/viewcvs/tar/?root=texinfo
 
 The following packages appear to be using gnulib without gnulib-tool: