commit f234ff82ecfca4ef4b548de0f755d3e257b6abb0
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> Thu Jan 22 17:01:27 2015 +0000
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> Thu Jan 22 17:01:27 2015 +0000
tree 769139f62cbfb861e3acda9428e67cd9c4d26c68
parent e4f6edcda1163089269f47859ff641b06bebc065

Rename doxyfile

scripts/check_doxy_blocks.pl

diff --git a/scripts/check_doxy_blocks.pl b/scripts/check_doxy_blocks.pl
index d547a62..2601d88 100755
--- a/scripts/check_doxy_blocks.pl
+++ b/scripts/check_doxy_blocks.pl
@@ -4,7 +4,7 @@
 #
 # More precisely, look for normal comment block containing '\'.
 # Of course one could use doxygen warnings, eg with:
-#   sed -e '/EXTRACT/s/YES/NO/' doxygen/polarssl.doxyfile | doxygen -
+#   sed -e '/EXTRACT/s/YES/NO/' doxygen/mbedtls.doxyfile | doxygen -
 # but that would warn about any undocumented item, while our goal is to find
 # items that are documented, but not marked as such by mistake.