diff --git a/doc/org/index.org b/doc/org/index.org
index 6ee957a47..5397a35df 100644
--- a/doc/org/index.org
+++ b/doc/org/index.org
@@ -34,6 +34,12 @@ The latest version is *{{{LASTRELEASE}}}* and was released on
 
 - [[file:tools.org][Command-line tools]]
 - [[file:tut.org][Code examples]]
+- [[http://spot.lrde.epita.fr/doxygen/][Doxygen documentation]], generated automatically from the source code.
+
+* On-line LTL/PSL translator
+
+- [[http://spot.lrde.epita.fr/trans.html][This page]] provides a convenient way to translate LTL or PSL formulas into automata,
+  without installing Spot.
 
 * License