Note that manual is generated by docstrings
Update doc/eldomain