Remove unnecessary filename extensions

[feeder.git] / doc / usage / reindex.texi

diff --git a/doc/usage/reindex.texi b/doc/usage/reindex.texi
index fceeb6f993428e40338e7d824667e172f8778067..d0f240068fd57d628efe118dbaf5ab8cb8278974 100644 (file)
--- a/doc/usage/reindex.texi
+++ b/doc/usage/reindex.texi
@@ -4,7 +4,7 @@
 (re)Index your messages with:
 
 @example
-$ ./feeds-index.sh
+$ ./feeds-index
 @end example
 
 That will create @file{mu/} and @file{search/} directories and run