From 317f5d22d10133cf5850219a08680d5a0ba06b8e Mon Sep 17 00:00:00 2001 From: Jakub Bogusz Date: Sun, 27 Mar 2005 15:08:55 +0000 Subject: [PATCH] - obsolete Changed files: ocaml-mano.patch -> 1.5 --- ocaml-mano.patch | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 ocaml-mano.patch diff --git a/ocaml-mano.patch b/ocaml-mano.patch deleted file mode 100644 index f128a89..0000000 --- a/ocaml-mano.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- ocaml-3.08.0/ocamldoc/odoc_messages.ml 2004-07-09 16:32:42.000000000 +0200 -+++ ocaml-3.08.0_/ocamldoc/odoc_messages.ml 2004-07-21 21:13:04.724002928 +0200 -@@ -83,7 +83,7 @@ - - let man_mini = "\tGenerate man pages only for modules, module types, classes\n"^ - "\t\tand class types "^man_only --let default_man_suffix = "o" -+let default_man_suffix = "3o" - let man_suffix = "\n\t\tUse for man page files "^ - "(default is "^default_man_suffix^") "^man_only^"\n" - -- 2.43.0