diff options
author | Paweł Krupa <pawel@krupa.net.pl> | 2018-11-25 20:11:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-25 20:11:50 +0200 |
commit | 5ed8653246b5ff277e39d90328782e326b245d4f (patch) | |
tree | ae39f5d6a661ab8dbd4ccf65e6fd811ecccccb4d /.gitignore | |
parent | e7e2e3ce7cfbd830f41617839e732dd1601381db (diff) |
Rename `doc` to `docs` and move `htmldoc` (#4741)
* rename doc dir; move htmldoc under docs/generator
* run shellcheck and shfmt on docs generator
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index c64d759547..f24583ac28 100644 --- a/.gitignore +++ b/.gitignore @@ -145,6 +145,6 @@ sitespeed-result/ python.d/python-modules-installer.sh # documentation generated files -htmldoc/src -htmldoc/build -htmldoc/mkdocs.yml +docs/generator/src +docs/generator/build +docs/generator/mkdocs.yml |