diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2014-12-13 09:15:37 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2014-12-13 09:15:37 +0000 |
| commit | c054fd6a0937c1540336e50abcc0806e2a9f8e82 (patch) | |
| tree | 566d6310e326798bda063ed435cbed1af0c43804 /doc/hal | |
| parent | dffdc36d577c70bac7bf172f00c55aabf173340a (diff) | |
| download | ChibiOS-c054fd6a0937c1540336e50abcc0806e2a9f8e82.tar.gz ChibiOS-c054fd6a0937c1540336e50abcc0806e2a9f8e82.tar.bz2 ChibiOS-c054fd6a0937c1540336e50abcc0806e2a9f8e82.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7574 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'doc/hal')
| -rw-r--r-- | doc/hal/Doxyfile_chm | 2 | ||||
| -rw-r--r-- | doc/hal/rsync_web.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/hal/Doxyfile_chm b/doc/hal/Doxyfile_chm index 9a642604d..9814956e8 100644 --- a/doc/hal/Doxyfile_chm +++ b/doc/hal/Doxyfile_chm @@ -1297,7 +1297,7 @@ DOCSET_PUBLISHER_NAME = Publisher # The default value is: NO.
# This tag requires that the tag GENERATE_HTML is set to YES.
-GENERATE_HTMLHELP = NO
+GENERATE_HTMLHELP = YES
# The CHM_FILE tag can be used to specify the file name of the resulting .chm
# file. You can add a path in front of the file if the result should not be
diff --git a/doc/hal/rsync_web.sh b/doc/hal/rsync_web.sh index 0d8786aeb..48e7ec7a9 100644 --- a/doc/hal/rsync_web.sh +++ b/doc/hal/rsync_web.sh @@ -1,2 +1,2 @@ #!/bin/bash
-rsync -avP -e ssh --delete --exclude=.* ./html/ gdisirio,chibios@web.sourceforge.net:/home/groups/c/ch/chibios/htdocs/html
\ No newline at end of file +rsync -avP -e ssh --delete --exclude=.* ./html/ gdisirio,chibios@web.sourceforge.net:/home/groups/c/ch/chibios/htdocs/docs3/hal
\ No newline at end of file |