Add an entry to dir.

diff --git a/doc/tinc.texi b/doc/tinc.texi
index 69ac5a49a8dc6d28c57f902d5c9fce8d9261f1e9..7d865053060513f9a2c395339fe32c59fce86d80 100644 (file)
--- a/doc/tinc.texi
+++ b/doc/tinc.texi
@@ -6,6 +6,9 @@
 @c %**end of header
 
 @ifinfo
 @c %**end of header
 
 @ifinfo

+@direntry
+* tinc: (tinc).              The tinc Manual.
+@end direntry

 
 This is the info manual for tinc, a Virtual Private Network daemon.
 
 
 This is the info manual for tinc, a Virtual Private Network daemon.