Documentation at https://atd.readthedocs.io/ no longer updates

[Martin Jambon]

A job is supposed to rebuild the documentation automatically but I see the docs are not up-to-date at https://atd.readthedocs.io/

[Martin Jambon]

FYI

[Martin Jambon]

I fixed the errors by:

1. Adding a readthedocs config file;
2. Removing the extension we were relying on for tables. The docs are now live and up-to-date at https://atd.readthedocs.io/en/latest/

The search function isn't working at the moment (display "Searching ..." and never returns results). I don't know how it works or whether it might fix itself.