Skip to content
This repository has been archived by the owner on Dec 23, 2018. It is now read-only.

Documentation improved navigation #71

Merged
merged 2 commits into from
Jul 11, 2017

Conversation

GioBonvi
Copy link
Collaborator

@GioBonvi GioBonvi commented Jul 8, 2017

Replaced TOCs with auto-generated ones and added TOCs where missing.

Added a link to the README in each page to improve navigation in offline documentation (in particular if converted into HTML - see #70).

Replaced TOCs with auto-generated ones and added TOCs where missing.

Added a link to the README in each page to improve navigation in offline documentation (in particular if converted into HTML - see #70).
@GioBonvi GioBonvi merged commit 620b618 into master Jul 11, 2017
@GioBonvi GioBonvi deleted the documentation-improved-navigation branch July 11, 2017 10:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants