Index: build/Ringtoets.proj
===================================================================
diff -u -r0f65a6bd78c76390d84a1fe459a1de44bf7fb27c -rc35b82c0bde7fbd6964b4d85b4e688a0aee0225d
--- build/Ringtoets.proj	(.../Ringtoets.proj)	(revision 0f65a6bd78c76390d84a1fe459a1de44bf7fb27c)
+++ build/Ringtoets.proj	(.../Ringtoets.proj)	(revision c35b82c0bde7fbd6964b4d85b4e688a0aee0225d)
@@ -22,7 +22,7 @@
   </Target>
   
    <Target Name="RunPDF2LaTeX" DependsOnTargets="RunDoxygen">
-	<Exec Command='$(MSBuildProjectDirectory)\Technical_documentation\replace_string_in_file.cmd "pdflatex " "pdflatex.exe -quiet -shell-escape --pool-size=5000000 -interaction=nonstopmode " "make.bat" "makeDeltares.bat"' WorkingDirectory="$(DoxygenOutputDirectory)latex"/>
+	<Exec Command='$(MSBuildProjectDirectory)\Technical_documentation\replace_string_in_file.cmd "pdflatex " "pdflatex.exe -quiet -shell-escape --pool-size=10000000 -interaction=nonstopmode " "make.bat" "makeDeltares.bat"' WorkingDirectory="$(DoxygenOutputDirectory)latex"/>
 	<Exec Command='$(MSBuildProjectDirectory)\Technical_documentation\replace_string_in_file.cmd "setcounter{tocdepth}{3}" "setcounter{tocdepth}{2}" "refman.tex"' WorkingDirectory="$(DoxygenOutputDirectory)latex"/>
 	<Exec Command="makeDeltares.bat > makeDeltares.log" WorkingDirectory="$(DoxygenOutputDirectory)latex" IgnoreExitCode="true"/>
   </Target>