Ahora que readthedocs funciona ya no necesitamos este fichero
script para generar la documentación HTML cada vez que guardas un fichero. Util para revisar mientras escribes
pg_dump y pg_restore en PostGreSQL