Use the PRBEM/documents repository to host documents.

Author: AntoineBrunet

_includes/menu.html

@@ -9,6 +9,7 @@
 			{% endif %}
 			{% endif %}
 		{% endfor %}
+		<a href="https://prbem.github.io/documents/">Documents</a>
 		<nav href="https://github.com/PRBEM/IRBEM">
 			IRBEM Library:
 			<a href="https://github.com/PRBEM/IRBEM">Github repository</a>