diff options
Diffstat (limited to 'ChibiOS_16.1.5/doc/rt/makehtml.bat')
| -rw-r--r-- | ChibiOS_16.1.5/doc/rt/makehtml.bat | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ChibiOS_16.1.5/doc/rt/makehtml.bat b/ChibiOS_16.1.5/doc/rt/makehtml.bat deleted file mode 100644 index 2becc10..0000000 --- a/ChibiOS_16.1.5/doc/rt/makehtml.bat +++ /dev/null @@ -1,5 +0,0 @@ -del html\*.* /Q
-doxygen Doxyfile_html
-del html\*.md5
-del html\*.map
-pause
|