Re: [DynareDev] Reference manual in Texinfo