jdebp.eu domain does not exists anymore

diff --git a/doc/index.texi b/doc/index.texi
index f7c849499c66caf9bf1ccb449c9a18224d5c5a3b..fea353c48781dade15387c69b637849d310460ed 100644 (file)
--- a/doc/index.texi
+++ b/doc/index.texi
@@ -27,7 +27,7 @@ If you are not familiar with the redo, here are advisable links to read:
 
 @itemize
 @item @url{https://redo.readthedocs.io/en/latest/, apenwarr/redo documentation}
 
 @itemize
 @item @url{https://redo.readthedocs.io/en/latest/, apenwarr/redo documentation}

-@item @url{http://jdebp.eu/FGA/introduction-to-redo.html, Introduction to redo}
+@item @url{http://web.archive.org/web/20201231033027/http://jdebp.eu/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)
 @end itemize
 @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)
 @end itemize