[Docs] add Profiling page

kul-optec · Nov 15, 2023 · 65a3e43 · 65a3e43
1 parent 8a39e69
commit 65a3e43
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/doxygen/Doxyfile.common b/doxygen/Doxyfile.common
@@ -951,6 +951,8 @@ INPUT                  = ../src/ \
                          pages/External-Resources.md \
                          pages/Problem-formulations.md \
                          pages/Inner-solvers.md \
+                         pages/Development.md \
+                         pages/Development/Profiling.md \
                          index.md
 
 # This tag can be used to specify the character encoding of the source files

diff --git a/doxygen/pages/Development/Profiling.md b/doxygen/pages/Development/Profiling.md
@@ -142,7 +142,7 @@ firefox http://localhost:5000
 - https://sourceware.org/binutils/docs-2.41/gprofng.html
 - https://www.gnu.org/software/binutils/
 
-### Install
+### Installation
 
 ```sh
 wget https://ftp.gnu.org/gnu/binutils/binutils-2.41.tar.xz -O- | tar xJ -C ~/Downloads