Skip to content

Commit

Permalink
Fix #717
Browse files Browse the repository at this point in the history
Extensions should be removed from the map of basenames to mld paths
  • Loading branch information
rgrinberg committed Apr 28, 2018
1 parent 575cbce commit 7b17fa0
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 5 deletions.
2 changes: 2 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,8 @@ next
- `-j` now defaults to the number of processing units available rather
4 (#726, @diml)

- Fix attaching index.mld to documentation (#731, fixes #717 @rgrinberg)

1.0+beta20 (10/04/2018)
-----------------------

Expand Down
3 changes: 2 additions & 1 deletion src/odoc.ml
Original file line number Diff line number Diff line change
Expand Up @@ -433,7 +433,8 @@ module Gen (S : sig val sctx : SC.t end) = struct

let check_mlds_no_dupes ~pkg ~mlds =
match
List.map mlds ~f:(fun mld -> (Path.basename mld, mld))
List.map mlds ~f:(fun mld ->
(Filename.chop_extension (Path.basename mld), mld))
|> String.Map.of_list
with
| Ok m -> m
Expand Down
4 changes: 0 additions & 4 deletions test/blackbox-tests/test-cases/github717-odoc-index/run.t
Original file line number Diff line number Diff line change
@@ -1,5 +1 @@
$ jbuilder build @doc
Multiple rules generated for _build/default/_doc/_odoc/pkg/hello_world/page-index.odoc:
- <internal location>
- <internal location>
[1]

0 comments on commit 7b17fa0

Please sign in to comment.