…
..
lib-Makefile
mkdoc.1.in
ml-doc.1.in
patch-config-install-sml-wrapper_sh.in
patch-configure
patch-Makefile.in
patch-tools-html-gen-do_spec.sml
patch-tools-lib-latex-text_to_latex.sml