Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006068OCamlOCamlbuild (the tool)public2013-07-08 23:212014-04-02 16:37
Reporterdbuenzli 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006068: Extend .odocl to allow file copy
DescriptionCurrently, .odocl files allow only to specify module names. I wonder if it would we possible to extend them to allow the specification of files along side the module (with module names taking over files if there's an ambiguity). The semantics of it would be just copy the file. I need that in the documentation of vg which lead me to need to script things as follows:

$OCAMLBUILD api.docdir/index.html
cp doc/style.css _build/api.docdir/style.css
cp doc/*.png _build/api.dodcir/

So for example an api.docdir with:

Vg
style.css
doc-joins.png

Would copy style.css and doc-joins.png in _build/api.docdir/


For me that would also solve PR 0004430
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-07-08 23:21 dbuenzli New Issue
2013-11-26 21:06 user4620 File Added: bcl_HTML21.html
2014-01-17 15:50 doligez File Deleted: bcl_HTML21.html
2014-04-02 16:37 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker