File tree Expand file tree Collapse file tree 1 file changed +10
-1
lines changed Expand file tree Collapse file tree 1 file changed +10
-1
lines changed Original file line number Diff line number Diff line change @@ -384,6 +384,16 @@ Ids generated in the source code:
384
384
id= " val-string"
385
385
id= " val-string2"
386
386
387
+ Html generation for implementation and mld/ interface uses different commands
388
+
389
+ $ odoc html-generate-impl -- indent -o html a. odocl
390
+ ERROR: Expected an implementation unit
391
+ [1 ]
392
+ $ odoc html-generate -- source a. ml -- indent -o html impl-a. odocl
393
+ odoc: unknown option ' --source' .
394
+ Usage: odoc html-generate [OPTION]… FILE. odocl
395
+ Try ' odoc html-generate --help' or ' odoc --help' for more information.
396
+ [2 ]
387
397
388
398
Compiling without -- source-id makes it impossible to generate the source:
389
399
@@ -395,4 +405,3 @@ Compiling without --source-id makes it impossible to generate the source:
395
405
$ odoc html-generate-impl -- source a. ml -- indent -o html impl-a. odocl
396
406
ERROR: The implementation unit was not compiled with -- source-id.
397
407
[1 ]
398
- $ odoc support-files -o html
You can’t perform that action at this time.
0 commit comments