diff options
author | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-05-03 12:52:11 +0000 |
---|---|---|
committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-05-03 12:52:11 +0000 |
commit | c142399273babe2cb6c47ad714494fde77a22893 (patch) | |
tree | e256e13deca5ccfea98db072a6c613a5cfef4fd0 /doc/full_rm/makehtml.sh | |
parent | be6f1e075881d02a7c40fda88fd5c90b897e771b (diff) | |
download | ChibiOS-c142399273babe2cb6c47ad714494fde77a22893.tar.gz ChibiOS-c142399273babe2cb6c47ad714494fde77a22893.tar.bz2 ChibiOS-c142399273babe2cb6c47ad714494fde77a22893.zip |
Added builder for full RM manual including RT, NIL, HAL and EX in a single document. Separated documents will be phased out later.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@11991 110e8d01-0319-4d1e-a829-52ad28d1bb01
Diffstat (limited to 'doc/full_rm/makehtml.sh')
-rw-r--r-- | doc/full_rm/makehtml.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/full_rm/makehtml.sh b/doc/full_rm/makehtml.sh new file mode 100644 index 000000000..985e4b0e8 --- /dev/null +++ b/doc/full_rm/makehtml.sh @@ -0,0 +1,6 @@ +#!/bin/bash +rm html/* +doxygen Doxyfile_html +rm html/*.md5 +rm html/*.map + |