User documentation: Now include amssymb package for LaTeX formulas
Jira: None
'make doc' could get stuck when LaTeX complained about the unknown command \subsetneq. This command is part of the amssymb package.
diff --git a/doc/etc/developer.doxyfile.in b/doc/etc/developer.doxyfile.in
index b844e21..7fe85a1 100644
--- a/doc/etc/developer.doxyfile.in
+++ b/doc/etc/developer.doxyfile.in
@@ -1280,7 +1280,7 @@
# The EXTRA_PACKAGES tag can be to specify one or more names of LaTeX
# packages that should be included in the LaTeX output.
-EXTRA_PACKAGES = amsmath amsfonts
+EXTRA_PACKAGES = amsmath amsfonts amssymb
# The LATEX_HEADER tag can be used to specify a personal LaTeX header for
# the generated latex document. The header should contain everything until