diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2017-01-16 18:33:29 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2017-01-16 18:33:29 +0000 |
| commit | ea894a4583d431b127489b02ce3f5450bfec94a5 (patch) | |
| tree | 6b9d03cf715506f47659f47ea3f407100da923d0 /doc/rt | |
| parent | 705d7269323e1d93c4fb8c7afa0aa88d4ae8f6a8 (diff) | |
| download | ChibiOS-ea894a4583d431b127489b02ce3f5450bfec94a5.tar.gz ChibiOS-ea894a4583d431b127489b02ce3f5450bfec94a5.tar.bz2 ChibiOS-ea894a4583d431b127489b02ce3f5450bfec94a5.zip | |
Added doc builders.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@10058 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'doc/rt')
| -rwxr-xr-x | doc/rt/makehtml.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/rt/makehtml.sh b/doc/rt/makehtml.sh new file mode 100755 index 000000000..985e4b0e8 --- /dev/null +++ b/doc/rt/makehtml.sh @@ -0,0 +1,6 @@ +#!/bin/bash +rm html/* +doxygen Doxyfile_html +rm html/*.md5 +rm html/*.map + |