joerg 538cd7029d Fix texinfo syntax.		2016-12-19 13:35:53 +00:00
..
patch-gcc-4.6.4_gcc_doc_gcc.texi
patch-pml-2.03_pmlsrc_Makefile.16
patch-pml-2.03_pmlsrc_Makefile.32