Updating documentation

GitHub does not support .. include !