Note:

You are viewing a development version of the library. Goto the latest version.

let disable_oasis_section =
  create "disable_oasis_section" alpha
    (fun () ->
      s_ "Allows the OASIS section comments and digest to be omitted in generated files.")