Remove unnecessary filename extensions

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

diff --git a/doc/usage/download.texi b/doc/usage/download.texi
index e7cae31d0b96945f0aaaec5636a35ffdf98e0d31..3abd9d32b326608627de494d5773439424960a58 100644 (file)
--- a/doc/usage/download.texi
+++ b/doc/usage/download.texi
@@ -4,8 +4,8 @@
 Download your feed data with:
 
 @example
-$ cmd/download.sh feeds/blog.stargrave.org_russian_feed.atom
-$ ./feeds-download.zsh # to invoke parallel downloading of everything
+$ cmd/download feeds/blog.stargrave.org_russian_feed.atom
+$ ./feeds-download # to invoke parallel downloading of everything
 @end example
 
 It uses @command{curl}, that is aware of @code{If-Modified-Since} and