Fix #9: use RECURSIVE, don't mention platform subdirs directly

Doxyfile

@@ -823,23 +823,7 @@ WARN_LOGFILE           =
 # spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
 # Note: If this tag is empty the current directory is searched.
 
-INPUT                   = README.md LICENSE.md src i \
-                        platform/arch/cm0plus/i                 \
-                        platform/arch/cm0plus/src               \
-                        platform/board/mcci/catena_abz/i        \
-                        platform/board/mcci/catena_abz/src      \
-                        platform/board/mcci/catena46xx/i        \
-                        platform/board/mcci/catena46xx/src      \
-                        platform/board/mcci/catena4801/i        \
-                        platform/board/mcci/catena4801/src      \
-                        platform/driver/flash_mx25v035f/i       \
-                        platform/driver/flash_mx25v035f/src     \
-                        platform/i                              \
-                        platform/module/murata-abz/i            \
-                        platform/module/murata-abz/src          \
-                        platform/soc/stml0/i                    \
-                        platform/soc/stml0/src                  \
-                        platform/src
+INPUT                   = README.md LICENSE.md src i platform
 
 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses
@@ -875,7 +859,7 @@ FILE_PATTERNS          = *.c \
 # be searched for input files as well.
 # The default value is: NO.
 
-RECURSIVE              = NO
+RECURSIVE              = YES
 
 # The EXCLUDE tag can be used to specify files and/or directories that should be
 # excluded from the INPUT source files. This way you can easily exclude a
@@ -1316,15 +1300,15 @@ GENERATE_DOCSET        = YES
 # The default value is: Doxygen generated docs.
 # This tag requires that the tag GENERATE_DOCSET is set to YES.
 
-DOCSET_FEEDNAME        = "MCCI TweetNaCl docs"
+DOCSET_FEEDNAME        = "MCCI Trusted Bootloader docs"
 
 # This tag specifies a string that should uniquely identify the documentation
 # set bundle. This should be a reverse domain-name style string, e.g.
 # com.mycompany.MyDocSet. Doxygen will append .docset to the name.
 # The default value is: org.doxygen.Project.
 # This tag requires that the tag GENERATE_DOCSET is set to YES.
 
-DOCSET_BUNDLE_ID       = com.mcci.catena.mcci-tweetnacl
+DOCSET_BUNDLE_ID       = com.mcci.catena.bootloader
 
 # The DOCSET_PUBLISHER_ID tag specifies a string that should uniquely identify
 # the documentation publisher. This should be a reverse domain-name style
@@ -1482,7 +1466,7 @@ GENERATE_ECLIPSEHELP   = NO
 # The default value is: org.doxygen.Project.
 # This tag requires that the tag GENERATE_ECLIPSEHELP is set to YES.
 
-ECLIPSE_DOC_ID         = org.doxygen.Project
+ECLIPSE_DOC_ID         = com.mcci.catena.bootloader
 
 # If you want full control over the layout of the generated HTML pages it might
 # be necessary to disable the index and replace it with your own. The