diff options
| author | Oleg Morozenkov <m@oleg.rocks> | 2018-07-23 02:35:50 +0300 |
|---|---|---|
| committer | Oleg Morozenkov <m@oleg.rocks> | 2018-07-23 02:35:50 +0300 |
| commit | 98b8b7e4338b71ee46c4301b0bf2ae667be9a99d (patch) | |
| tree | 32f8b0d32048b2d83b57773c0efa3db9600b8701 /tools/generate-docs | |
| parent | 1dd3affe306793d2129f121c11e43c45ae8690da (diff) | |
| parent | 167e3e7607e43a0f06c7f87ced94f481e6525b0e (diff) | |
Merge branch 'master' into nicholascw-master
Diffstat (limited to 'tools/generate-docs')
| -rwxr-xr-x | tools/generate-docs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/generate-docs b/tools/generate-docs new file mode 100755 index 0000000..0caab1d --- /dev/null +++ b/tools/generate-docs @@ -0,0 +1,7 @@ +#!/bin/bash + +cd .. +rm -rf doc docs +doxygen +mv doc/html docs +touch docs/.nojekyll |