Documentation reorganization

Move all documentation to docs/ and add a couple of layout/styling
files to customize the appearance when the documentation is
published on GitHub pages
This commit is contained in:
Samuel Sadok
2018-04-13 16:19:31 -07:00
parent 8972e4a8b1
commit 7f1873dfc4
22 changed files with 1372 additions and 403 deletions
+4 -1
View File
@@ -5,6 +5,9 @@
},
{
"path": "tools"
},
{
"path": "docs"
}
],
"settings": {
@@ -41,4 +44,4 @@
"algorithm": "cpp"
}
}
}
}