From cb048aaa7dc1d6b23574c7fe8b8e47a6d41bcc01 Mon Sep 17 00:00:00 2001 From: Gertjan van den Burg Date: Fri, 17 Feb 2017 18:18:33 -0500 Subject: add google identifier to docs --- doc/Doxyfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/Doxyfile b/doc/Doxyfile index 348f159..4178dc8 100644 --- a/doc/Doxyfile +++ b/doc/Doxyfile @@ -1135,7 +1135,7 @@ HTML_EXTRA_STYLESHEET = # files will be copied as-is; there are no commands or markers available. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_EXTRA_FILES = +HTML_EXTRA_FILES = ./doc/extra/google2f00f1399aabbde4.html # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen # will adjust the colors in the style sheet and background images according to -- cgit v1.2.3