manual: port changes from preprocessor@e85d085a

Johannes Pfeifer requested to merge JohannesPfeifer/dynare:doc into master Nov 14, 2023