1.4

CHANGES:

• Update to work with odoc 2.02.

1.3.1

CHANGES:

• Add missing dependencies.
• Add flag to select Odig theme.

1.3

CHANGES:

• Update to work with latest odoc.

1.2.1

CHANGES:

• Automatically pin dependencies.

1.2

CHANGES:

• Support compressed docsets.
• Fix reference to odoc css/js theme.

1.1

CHANGES:

• Sync with upstream odoc.
• Correctly handle .odoc files in subdirectories.
• Fix use of anchors in generated docs.

1.0

CHANGES:

Initial release.