diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2019-11-15 16:58:48 -0500 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2019-11-15 16:58:48 -0500 |
| commit | 47e092733cc049e736abf3f125d144c7922cda81 (patch) | |
| tree | f1585eb8111387409b0ffab4a75af40a6bfbc0a7 /extras/vagrant/update.sh | |
| parent | e7906906079ca2d67bf67cfa9939523213230b56 (diff) | |
build: fix docs/doxygen targets
- Add missing dependencies
- Fix clean/wipe to remove generated files
- Fix doxygen src variable
Type: fix
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Change-Id: If6b2797e8af3f2e735759fab5841a0b4576ed7cc
Diffstat (limited to 'extras/vagrant/update.sh')
0 files changed, 0 insertions, 0 deletions