You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5690 Reporter: rmikhov Assigned to:@zoggy Status: closed (set by @zoggy on 2012-08-16T09:49:01Z) Resolution: fixed Priority: low Severity: trivial Version: 3.12.1 Fixed in version: 4.00.1+dev Category: ocamldoc
Bug description
Ocamldoc has the useful feature to be able to include a text file in the generated documentation, but unfortunately this text file must have an extension.
"ocamldoc ... -text README" raises Invalid_argument("Filename.chop_extension"). The problem is that coding standards often require to name your file README so you have to rename it, run ocamldoc, and rename it back... Also, it would be nice if it didn't show up in the list of modules.
Sorry to bother you.
The text was updated successfully, but these errors were encountered:
Original bug ID: 5690
Reporter: rmikhov
Assigned to: @zoggy
Status: closed (set by @zoggy on 2012-08-16T09:49:01Z)
Resolution: fixed
Priority: low
Severity: trivial
Version: 3.12.1
Fixed in version: 4.00.1+dev
Category: ocamldoc
Bug description
Ocamldoc has the useful feature to be able to include a text file in the generated documentation, but unfortunately this text file must have an extension.
"ocamldoc ... -text README" raises Invalid_argument("Filename.chop_extension"). The problem is that coding standards often require to name your file README so you have to rename it, run ocamldoc, and rename it back... Also, it would be nice if it didn't show up in the list of modules.
Sorry to bother you.
The text was updated successfully, but these errors were encountered: