Index: build/Ringtoets.proj
===================================================================
diff -u -r7c54bba0ea95a95a9a60bf537bc0d55098844bd2 -r828c1f3b9fffa0a60f80060746cc4ec8307b0c68
--- build/Ringtoets.proj	(.../Ringtoets.proj)	(revision 7c54bba0ea95a95a9a60bf537bc0d55098844bd2)
+++ build/Ringtoets.proj	(.../Ringtoets.proj)	(revision 828c1f3b9fffa0a60f80060746cc4ec8307b0c68)
@@ -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 -interaction=batchmode " "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=5000000 -interaction=batchmode " "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>