update makefile to work again; gitignore the compiled docs _gh_pages folder; test makefile with darkened navbar active bg
This commit is contained in:
parent
b57c20a057
commit
96953c2072
102 changed files with 23 additions and 21179 deletions
3
.gitignore
vendored
3
.gitignore
vendored
|
|
@ -1,3 +1,6 @@
|
|||
# Ignore compiled docs
|
||||
_gh_pages
|
||||
|
||||
# Numerous always-ignore extensions
|
||||
*.diff
|
||||
*.err
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue