Rename .doc to `.dox in doxygen documentation

Adjusted docs warning
doxygen · Nov 19, 2023 · c3ff1e4 · c3ff1e4
1 parent 28cffb8
commit c3ff1e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/commands.dox b/doc/commands.dox
@@ -1211,7 +1211,7 @@ Structural indicators
   starts a new section in the chapter 'Page documentation'.
 
   \par Example:
-  \include page.dox
+  \include page.doc
   \htmlonly
   Click <a href="examples/page/html/page1.html">here</a>
   for the corresponding HTML documentation that is generated by doxygen.