From c054fd6a0937c1540336e50abcc0806e2a9f8e82 Mon Sep 17 00:00:00 2001 From: gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> Date: Sat, 13 Dec 2014 09:15:37 +0000 Subject: git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7574 35acf78f-673a-0410-8e92-d51de3d6d3f4 --- doc/hal/Doxyfile_chm | 2 +- doc/hal/rsync_web.sh | 2 +- doc/nil/Doxyfile_chm | 2 +- doc/nil/rsync_web.sh | 2 +- doc/rt/Doxyfile_chm | 2 +- doc/rt/rsync_web.sh | 2 +- 6 files changed, 6 insertions(+), 6 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 diff --git a/doc/nil/Doxyfile_chm b/doc/nil/Doxyfile_chm index 93dc3574c..c3e3ae708 100644 --- a/doc/nil/Doxyfile_chm +++ b/doc/nil/Doxyfile_chm @@ -1296,7 +1296,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/nil/rsync_web.sh b/doc/nil/rsync_web.sh index 0d8786aeb..5b93c922a 100644 --- a/doc/nil/rsync_web.sh +++ b/doc/nil/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/nil \ No newline at end of file diff --git a/doc/rt/Doxyfile_chm b/doc/rt/Doxyfile_chm index a0d4d9c3c..4b5acafb2 100644 --- a/doc/rt/Doxyfile_chm +++ b/doc/rt/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/rt/rsync_web.sh b/doc/rt/rsync_web.sh index 0d8786aeb..833be52f3 100644 --- a/doc/rt/rsync_web.sh +++ b/doc/rt/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/rt \ No newline at end of file -- cgit v1.2.3