From a040c6f68279cef86a4107fc3b37ee0ea8174cf8 Mon Sep 17 00:00:00 2001
From: Emile Trotignon <emile.trotignon@gmail.com>
Date: Wed, 3 Jul 2024 16:07:00 +0200
Subject: [PATCH] remove useless comment

---
 src/odoc/bin/main.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/odoc/bin/main.ml b/src/odoc/bin/main.ml
index 247843f905..907d91047a 100644
--- a/src/odoc/bin/main.ml
+++ b/src/odoc/bin/main.ml
@@ -18,7 +18,6 @@ let convert_syntax : Odoc_document.Renderer.syntax Arg.conv =
   in
   (syntax_parser, syntax_printer)
 
-(** create default to false *)
 let convert_directory ?(create = false) () : Fs.Directory.t Arg.conv =
   let dir_parser, dir_printer = Arg.string in
   let odoc_dir_parser str =