Redundant @documentencoding

[goredo.git] / doc / index.texi

diff --git a/doc/index.texi b/doc/index.texi
index 45427f04ad529ee0912d0f841a9c29ba8d815a61..7363fa4c2929b2f0f441efb69751315200611034 100644 (file)
--- a/doc/index.texi
+++ b/doc/index.texi
@@ -1,5 +1,4 @@
 \input texinfo
-@documentencoding UTF-8
 @settitle goredo
 
 @copying
@@ -31,6 +30,7 @@ If you are not familiar with the redo, here are advisable links to read:
 @item @url{http://jdebp.uk/FGA/introduction-to-redo.html, Introduction to redo}
 @item @url{https://apenwarr.ca/log/20101214, The only build system that might someday replace make... is djb redo}
 @item @url{https://habr.com/ru/post/517490/,, Make на мыло, redo сила} (on russian)
+@item @url{gemini://ew.srht.site/en/2022/20221218-redo-0.gmi, ~ew's descriptive intro with many examples}
 @end itemize
 
 @command{goredo} is