diff -r 34d0acd7ef4f -r fded74ad4299 docs/index.rst --- a/docs/index.rst Wed Nov 14 15:25:58 2018 +0100 +++ b/docs/index.rst Wed Nov 14 15:03:36 2018 +0000 @@ -17,6 +17,7 @@ administration data_processing depolarization + high_resolution handbook file_formats user_management