diff --git a/docs/Agda.Builtin.Bool.html b/docs/html/Agda.Builtin.Bool.html
similarity index 100%
rename from docs/Agda.Builtin.Bool.html
rename to docs/html/Agda.Builtin.Bool.html
diff --git a/docs/Agda.Builtin.Equality.html b/docs/html/Agda.Builtin.Equality.html
similarity index 100%
rename from docs/Agda.Builtin.Equality.html
rename to docs/html/Agda.Builtin.Equality.html
diff --git a/docs/Agda.Builtin.Maybe.html b/docs/html/Agda.Builtin.Maybe.html
similarity index 100%
rename from docs/Agda.Builtin.Maybe.html
rename to docs/html/Agda.Builtin.Maybe.html
diff --git a/docs/Agda.Builtin.Nat.html b/docs/html/Agda.Builtin.Nat.html
similarity index 100%
rename from docs/Agda.Builtin.Nat.html
rename to docs/html/Agda.Builtin.Nat.html
diff --git a/docs/Agda.Builtin.Sigma.html b/docs/html/Agda.Builtin.Sigma.html
similarity index 100%
rename from docs/Agda.Builtin.Sigma.html
rename to docs/html/Agda.Builtin.Sigma.html
diff --git a/docs/Agda.Builtin.Strict.html b/docs/html/Agda.Builtin.Strict.html
similarity index 100%
rename from docs/Agda.Builtin.Strict.html
rename to docs/html/Agda.Builtin.Strict.html
diff --git a/docs/Agda.Builtin.Unit.html b/docs/html/Agda.Builtin.Unit.html
similarity index 100%
rename from docs/Agda.Builtin.Unit.html
rename to docs/html/Agda.Builtin.Unit.html
diff --git a/docs/Agda.Primitive.html b/docs/html/Agda.Primitive.html
similarity index 100%
rename from docs/Agda.Primitive.html
rename to docs/html/Agda.Primitive.html
diff --git a/docs/Agda.css b/docs/html/Agda.css
similarity index 100%
rename from docs/Agda.css
rename to docs/html/Agda.css
diff --git a/docs/Algebra.Bundles.html b/docs/html/Algebra.Bundles.html
similarity index 100%
rename from docs/Algebra.Bundles.html
rename to docs/html/Algebra.Bundles.html
diff --git a/docs/Algebra.Consequences.Base.html b/docs/html/Algebra.Consequences.Base.html
similarity index 100%
rename from docs/Algebra.Consequences.Base.html
rename to docs/html/Algebra.Consequences.Base.html
diff --git a/docs/Algebra.Consequences.Propositional.html b/docs/html/Algebra.Consequences.Propositional.html
similarity index 100%
rename from docs/Algebra.Consequences.Propositional.html
rename to docs/html/Algebra.Consequences.Propositional.html
diff --git a/docs/Algebra.Consequences.Setoid.html b/docs/html/Algebra.Consequences.Setoid.html
similarity index 100%
rename from docs/Algebra.Consequences.Setoid.html
rename to docs/html/Algebra.Consequences.Setoid.html
diff --git a/docs/Algebra.Construct.NaturalChoice.Base.html b/docs/html/Algebra.Construct.NaturalChoice.Base.html
similarity index 100%
rename from docs/Algebra.Construct.NaturalChoice.Base.html
rename to docs/html/Algebra.Construct.NaturalChoice.Base.html
diff --git a/docs/Algebra.Construct.NaturalChoice.MaxOp.html b/docs/html/Algebra.Construct.NaturalChoice.MaxOp.html
similarity index 100%
rename from docs/Algebra.Construct.NaturalChoice.MaxOp.html
rename to docs/html/Algebra.Construct.NaturalChoice.MaxOp.html
diff --git a/docs/Algebra.Construct.NaturalChoice.MinMaxOp.html b/docs/html/Algebra.Construct.NaturalChoice.MinMaxOp.html
similarity index 100%
rename from docs/Algebra.Construct.NaturalChoice.MinMaxOp.html
rename to docs/html/Algebra.Construct.NaturalChoice.MinMaxOp.html
diff --git a/docs/Algebra.Construct.NaturalChoice.MinOp.html b/docs/html/Algebra.Construct.NaturalChoice.MinOp.html
similarity index 100%
rename from docs/Algebra.Construct.NaturalChoice.MinOp.html
rename to docs/html/Algebra.Construct.NaturalChoice.MinOp.html
diff --git a/docs/Algebra.Core.html b/docs/html/Algebra.Core.html
similarity index 100%
rename from docs/Algebra.Core.html
rename to docs/html/Algebra.Core.html
diff --git a/docs/Algebra.Definitions.html b/docs/html/Algebra.Definitions.html
similarity index 100%
rename from docs/Algebra.Definitions.html
rename to docs/html/Algebra.Definitions.html
diff --git a/docs/Algebra.Morphism.Definitions.html b/docs/html/Algebra.Morphism.Definitions.html
similarity index 100%
rename from docs/Algebra.Morphism.Definitions.html
rename to docs/html/Algebra.Morphism.Definitions.html
diff --git a/docs/Algebra.Morphism.Structures.html b/docs/html/Algebra.Morphism.Structures.html
similarity index 100%
rename from docs/Algebra.Morphism.Structures.html
rename to docs/html/Algebra.Morphism.Structures.html
diff --git a/docs/Algebra.Morphism.html b/docs/html/Algebra.Morphism.html
similarity index 100%
rename from docs/Algebra.Morphism.html
rename to docs/html/Algebra.Morphism.html
diff --git a/docs/Algebra.Properties.BooleanAlgebra.html b/docs/html/Algebra.Properties.BooleanAlgebra.html
similarity index 100%
rename from docs/Algebra.Properties.BooleanAlgebra.html
rename to docs/html/Algebra.Properties.BooleanAlgebra.html
diff --git a/docs/Algebra.Properties.CommutativeSemigroup.html b/docs/html/Algebra.Properties.CommutativeSemigroup.html
similarity index 100%
rename from docs/Algebra.Properties.CommutativeSemigroup.html
rename to docs/html/Algebra.Properties.CommutativeSemigroup.html
diff --git a/docs/Algebra.Properties.DistributiveLattice.html b/docs/html/Algebra.Properties.DistributiveLattice.html
similarity index 100%
rename from docs/Algebra.Properties.DistributiveLattice.html
rename to docs/html/Algebra.Properties.DistributiveLattice.html
diff --git a/docs/Algebra.Properties.Group.html b/docs/html/Algebra.Properties.Group.html
similarity index 100%
rename from docs/Algebra.Properties.Group.html
rename to docs/html/Algebra.Properties.Group.html
diff --git a/docs/Algebra.Properties.Lattice.html b/docs/html/Algebra.Properties.Lattice.html
similarity index 100%
rename from docs/Algebra.Properties.Lattice.html
rename to docs/html/Algebra.Properties.Lattice.html
diff --git a/docs/Algebra.Properties.Semigroup.html b/docs/html/Algebra.Properties.Semigroup.html
similarity index 100%
rename from docs/Algebra.Properties.Semigroup.html
rename to docs/html/Algebra.Properties.Semigroup.html
diff --git a/docs/Algebra.Properties.Semilattice.html b/docs/html/Algebra.Properties.Semilattice.html
similarity index 100%
rename from docs/Algebra.Properties.Semilattice.html
rename to docs/html/Algebra.Properties.Semilattice.html
diff --git a/docs/Algebra.Structures.html b/docs/html/Algebra.Structures.html
similarity index 100%
rename from docs/Algebra.Structures.html
rename to docs/html/Algebra.Structures.html
diff --git a/docs/Algebra.html b/docs/html/Algebra.html
similarity index 100%
rename from docs/Algebra.html
rename to docs/html/Algebra.html
diff --git a/docs/Axiom.Extensionality.Propositional.html b/docs/html/Axiom.Extensionality.Propositional.html
similarity index 100%
rename from docs/Axiom.Extensionality.Propositional.html
rename to docs/html/Axiom.Extensionality.Propositional.html
diff --git a/docs/Axiom.UniquenessOfIdentityProofs.html b/docs/html/Axiom.UniquenessOfIdentityProofs.html
similarity index 100%
rename from docs/Axiom.UniquenessOfIdentityProofs.html
rename to docs/html/Axiom.UniquenessOfIdentityProofs.html
diff --git a/docs/Base.Relations.Continuous.tex b/docs/html/Base.Relations.Continuous.tex
similarity index 100%
rename from docs/Base.Relations.Continuous.tex
rename to docs/html/Base.Relations.Continuous.tex
diff --git a/docs/Category.Applicative.Indexed.html b/docs/html/Category.Applicative.Indexed.html
similarity index 100%
rename from docs/Category.Applicative.Indexed.html
rename to docs/html/Category.Applicative.Indexed.html
diff --git a/docs/Category.Applicative.html b/docs/html/Category.Applicative.html
similarity index 100%
rename from docs/Category.Applicative.html
rename to docs/html/Category.Applicative.html
diff --git a/docs/Category.Functor.html b/docs/html/Category.Functor.html
similarity index 100%
rename from docs/Category.Functor.html
rename to docs/html/Category.Functor.html
diff --git a/docs/Category.Monad.Indexed.html b/docs/html/Category.Monad.Indexed.html
similarity index 100%
rename from docs/Category.Monad.Indexed.html
rename to docs/html/Category.Monad.Indexed.html
diff --git a/docs/Category.Monad.html b/docs/html/Category.Monad.html
similarity index 100%
rename from docs/Category.Monad.html
rename to docs/html/Category.Monad.html
diff --git a/docs/Clones.Basic.md b/docs/html/Clones.Basic.md
similarity index 100%
rename from docs/Clones.Basic.md
rename to docs/html/Clones.Basic.md
diff --git a/docs/Clones.html b/docs/html/Clones.html
similarity index 100%
rename from docs/Clones.html
rename to docs/html/Clones.html
diff --git a/docs/Clones.md b/docs/html/Clones.md
similarity index 100%
rename from docs/Clones.md
rename to docs/html/Clones.md
diff --git a/docs/Data.Bool.Base.html b/docs/html/Data.Bool.Base.html
similarity index 100%
rename from docs/Data.Bool.Base.html
rename to docs/html/Data.Bool.Base.html
diff --git a/docs/Data.Bool.Properties.html b/docs/html/Data.Bool.Properties.html
similarity index 100%
rename from docs/Data.Bool.Properties.html
rename to docs/html/Data.Bool.Properties.html
diff --git a/docs/Data.Empty.Irrelevant.html b/docs/html/Data.Empty.Irrelevant.html
similarity index 100%
rename from docs/Data.Empty.Irrelevant.html
rename to docs/html/Data.Empty.Irrelevant.html
diff --git a/docs/Data.Empty.html b/docs/html/Data.Empty.html
similarity index 100%
rename from docs/Data.Empty.html
rename to docs/html/Data.Empty.html
diff --git a/docs/Data.Fin.Base.html b/docs/html/Data.Fin.Base.html
similarity index 100%
rename from docs/Data.Fin.Base.html
rename to docs/html/Data.Fin.Base.html
diff --git a/docs/Data.Fin.Patterns.html b/docs/html/Data.Fin.Patterns.html
similarity index 100%
rename from docs/Data.Fin.Patterns.html
rename to docs/html/Data.Fin.Patterns.html
diff --git a/docs/Data.Fin.Properties.html b/docs/html/Data.Fin.Properties.html
similarity index 100%
rename from docs/Data.Fin.Properties.html
rename to docs/html/Data.Fin.Properties.html
diff --git a/docs/Data.Fin.html b/docs/html/Data.Fin.html
similarity index 100%
rename from docs/Data.Fin.html
rename to docs/html/Data.Fin.html
diff --git a/docs/Data.Maybe.Base.html b/docs/html/Data.Maybe.Base.html
similarity index 100%
rename from docs/Data.Maybe.Base.html
rename to docs/html/Data.Maybe.Base.html
diff --git a/docs/Data.Nat.Base.html b/docs/html/Data.Nat.Base.html
similarity index 100%
rename from docs/Data.Nat.Base.html
rename to docs/html/Data.Nat.Base.html
diff --git a/docs/Data.Nat.Properties.Core.html b/docs/html/Data.Nat.Properties.Core.html
similarity index 100%
rename from docs/Data.Nat.Properties.Core.html
rename to docs/html/Data.Nat.Properties.Core.html
diff --git a/docs/Data.Nat.Properties.html b/docs/html/Data.Nat.Properties.html
similarity index 100%
rename from docs/Data.Nat.Properties.html
rename to docs/html/Data.Nat.Properties.html
diff --git a/docs/Data.Nat.html b/docs/html/Data.Nat.html
similarity index 100%
rename from docs/Data.Nat.html
rename to docs/html/Data.Nat.html
diff --git a/docs/Data.Product.html b/docs/html/Data.Product.html
similarity index 100%
rename from docs/Data.Product.html
rename to docs/html/Data.Product.html
diff --git a/docs/Data.Sum.Base.html b/docs/html/Data.Sum.Base.html
similarity index 100%
rename from docs/Data.Sum.Base.html
rename to docs/html/Data.Sum.Base.html
diff --git a/docs/Data.Sum.Properties.html b/docs/html/Data.Sum.Properties.html
similarity index 100%
rename from docs/Data.Sum.Properties.html
rename to docs/html/Data.Sum.Properties.html
diff --git a/docs/Data.These.Base.html b/docs/html/Data.These.Base.html
similarity index 100%
rename from docs/Data.These.Base.html
rename to docs/html/Data.These.Base.html
diff --git a/docs/Data.Unit.Base.html b/docs/html/Data.Unit.Base.html
similarity index 100%
rename from docs/Data.Unit.Base.html
rename to docs/html/Data.Unit.Base.html
diff --git a/docs/Data.Unit.Properties.html b/docs/html/Data.Unit.Properties.html
similarity index 100%
rename from docs/Data.Unit.Properties.html
rename to docs/html/Data.Unit.Properties.html
diff --git a/docs/Data.Unit.html b/docs/html/Data.Unit.html
similarity index 100%
rename from docs/Data.Unit.html
rename to docs/html/Data.Unit.html
diff --git a/docs/Function.Base.html b/docs/html/Function.Base.html
similarity index 100%
rename from docs/Function.Base.html
rename to docs/html/Function.Base.html
diff --git a/docs/Function.Bundles.html b/docs/html/Function.Bundles.html
similarity index 100%
rename from docs/Function.Bundles.html
rename to docs/html/Function.Bundles.html
diff --git a/docs/Function.Core.html b/docs/html/Function.Core.html
similarity index 100%
rename from docs/Function.Core.html
rename to docs/html/Function.Core.html
diff --git a/docs/Function.Definitions.Core1.html b/docs/html/Function.Definitions.Core1.html
similarity index 100%
rename from docs/Function.Definitions.Core1.html
rename to docs/html/Function.Definitions.Core1.html
diff --git a/docs/Function.Definitions.Core2.html b/docs/html/Function.Definitions.Core2.html
similarity index 100%
rename from docs/Function.Definitions.Core2.html
rename to docs/html/Function.Definitions.Core2.html
diff --git a/docs/Function.Definitions.html b/docs/html/Function.Definitions.html
similarity index 100%
rename from docs/Function.Definitions.html
rename to docs/html/Function.Definitions.html
diff --git a/docs/Function.Equality.html b/docs/html/Function.Equality.html
similarity index 100%
rename from docs/Function.Equality.html
rename to docs/html/Function.Equality.html
diff --git a/docs/Function.Equivalence.html b/docs/html/Function.Equivalence.html
similarity index 100%
rename from docs/Function.Equivalence.html
rename to docs/html/Function.Equivalence.html
diff --git a/docs/Function.Injection.html b/docs/html/Function.Injection.html
similarity index 100%
rename from docs/Function.Injection.html
rename to docs/html/Function.Injection.html
diff --git a/docs/Function.Metric.Bundles.html b/docs/html/Function.Metric.Bundles.html
similarity index 100%
rename from docs/Function.Metric.Bundles.html
rename to docs/html/Function.Metric.Bundles.html
diff --git a/docs/Function.Metric.Core.html b/docs/html/Function.Metric.Core.html
similarity index 100%
rename from docs/Function.Metric.Core.html
rename to docs/html/Function.Metric.Core.html
diff --git a/docs/Function.Metric.Definitions.html b/docs/html/Function.Metric.Definitions.html
similarity index 100%
rename from docs/Function.Metric.Definitions.html
rename to docs/html/Function.Metric.Definitions.html
diff --git a/docs/Function.Metric.Nat.Bundles.html b/docs/html/Function.Metric.Nat.Bundles.html
similarity index 100%
rename from docs/Function.Metric.Nat.Bundles.html
rename to docs/html/Function.Metric.Nat.Bundles.html
diff --git a/docs/Function.Metric.Nat.Core.html b/docs/html/Function.Metric.Nat.Core.html
similarity index 100%
rename from docs/Function.Metric.Nat.Core.html
rename to docs/html/Function.Metric.Nat.Core.html
diff --git a/docs/Function.Metric.Nat.Definitions.html b/docs/html/Function.Metric.Nat.Definitions.html
similarity index 100%
rename from docs/Function.Metric.Nat.Definitions.html
rename to docs/html/Function.Metric.Nat.Definitions.html
diff --git a/docs/Function.Metric.Nat.Structures.html b/docs/html/Function.Metric.Nat.Structures.html
similarity index 100%
rename from docs/Function.Metric.Nat.Structures.html
rename to docs/html/Function.Metric.Nat.Structures.html
diff --git a/docs/Function.Metric.Nat.html b/docs/html/Function.Metric.Nat.html
similarity index 100%
rename from docs/Function.Metric.Nat.html
rename to docs/html/Function.Metric.Nat.html
diff --git a/docs/Function.Metric.Structures.html b/docs/html/Function.Metric.Structures.html
similarity index 100%
rename from docs/Function.Metric.Structures.html
rename to docs/html/Function.Metric.Structures.html
diff --git a/docs/Function.Structures.html b/docs/html/Function.Structures.html
similarity index 100%
rename from docs/Function.Structures.html
rename to docs/html/Function.Structures.html
diff --git a/docs/Function.html b/docs/html/Function.html
similarity index 100%
rename from docs/Function.html
rename to docs/html/Function.html
diff --git a/docs/Level.html b/docs/html/Level.html
similarity index 100%
rename from docs/Level.html
rename to docs/html/Level.html
diff --git a/docs/Overture.Basic.tex b/docs/html/Overture.Basic.tex
similarity index 100%
rename from docs/Overture.Basic.tex
rename to docs/html/Overture.Basic.tex
diff --git a/docs/Overture.Operations.tex b/docs/html/Overture.Operations.tex
similarity index 100%
rename from docs/Overture.Operations.tex
rename to docs/html/Overture.Operations.tex
diff --git a/docs/Overture.Preface.tex b/docs/html/Overture.Preface.tex
similarity index 100%
rename from docs/Overture.Preface.tex
rename to docs/html/Overture.Preface.tex
diff --git a/docs/Overture.Signatures.tex b/docs/html/Overture.Signatures.tex
similarity index 100%
rename from docs/Overture.Signatures.tex
rename to docs/html/Overture.Signatures.tex
diff --git a/docs/Overture.tex b/docs/html/Overture.tex
similarity index 100%
rename from docs/Overture.tex
rename to docs/html/Overture.tex
diff --git a/docs/Relation.Binary.Bundles.html b/docs/html/Relation.Binary.Bundles.html
similarity index 100%
rename from docs/Relation.Binary.Bundles.html
rename to docs/html/Relation.Binary.Bundles.html
diff --git a/docs/Relation.Binary.Consequences.html b/docs/html/Relation.Binary.Consequences.html
similarity index 100%
rename from docs/Relation.Binary.Consequences.html
rename to docs/html/Relation.Binary.Consequences.html
diff --git a/docs/Relation.Binary.Construct.Converse.html b/docs/html/Relation.Binary.Construct.Converse.html
similarity index 100%
rename from docs/Relation.Binary.Construct.Converse.html
rename to docs/html/Relation.Binary.Construct.Converse.html
diff --git a/docs/Relation.Binary.Construct.NaturalOrder.Left.html b/docs/html/Relation.Binary.Construct.NaturalOrder.Left.html
similarity index 100%
rename from docs/Relation.Binary.Construct.NaturalOrder.Left.html
rename to docs/html/Relation.Binary.Construct.NaturalOrder.Left.html
diff --git a/docs/Relation.Binary.Construct.NonStrictToStrict.html b/docs/html/Relation.Binary.Construct.NonStrictToStrict.html
similarity index 100%
rename from docs/Relation.Binary.Construct.NonStrictToStrict.html
rename to docs/html/Relation.Binary.Construct.NonStrictToStrict.html
diff --git a/docs/Relation.Binary.Core.html b/docs/html/Relation.Binary.Core.html
similarity index 100%
rename from docs/Relation.Binary.Core.html
rename to docs/html/Relation.Binary.Core.html
diff --git a/docs/Relation.Binary.Definitions.html b/docs/html/Relation.Binary.Definitions.html
similarity index 100%
rename from docs/Relation.Binary.Definitions.html
rename to docs/html/Relation.Binary.Definitions.html
diff --git a/docs/Relation.Binary.Indexed.Heterogeneous.Bundles.html b/docs/html/Relation.Binary.Indexed.Heterogeneous.Bundles.html
similarity index 100%
rename from docs/Relation.Binary.Indexed.Heterogeneous.Bundles.html
rename to docs/html/Relation.Binary.Indexed.Heterogeneous.Bundles.html
diff --git a/docs/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html b/docs/html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
similarity index 100%
rename from docs/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
rename to docs/html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
diff --git a/docs/Relation.Binary.Indexed.Heterogeneous.Core.html b/docs/html/Relation.Binary.Indexed.Heterogeneous.Core.html
similarity index 100%
rename from docs/Relation.Binary.Indexed.Heterogeneous.Core.html
rename to docs/html/Relation.Binary.Indexed.Heterogeneous.Core.html
diff --git a/docs/Relation.Binary.Indexed.Heterogeneous.Definitions.html b/docs/html/Relation.Binary.Indexed.Heterogeneous.Definitions.html
similarity index 100%
rename from docs/Relation.Binary.Indexed.Heterogeneous.Definitions.html
rename to docs/html/Relation.Binary.Indexed.Heterogeneous.Definitions.html
diff --git a/docs/Relation.Binary.Indexed.Heterogeneous.Structures.html b/docs/html/Relation.Binary.Indexed.Heterogeneous.Structures.html
similarity index 100%
rename from docs/Relation.Binary.Indexed.Heterogeneous.Structures.html
rename to docs/html/Relation.Binary.Indexed.Heterogeneous.Structures.html
diff --git a/docs/Relation.Binary.Indexed.Heterogeneous.html b/docs/html/Relation.Binary.Indexed.Heterogeneous.html
similarity index 100%
rename from docs/Relation.Binary.Indexed.Heterogeneous.html
rename to docs/html/Relation.Binary.Indexed.Heterogeneous.html
diff --git a/docs/Relation.Binary.Lattice.html b/docs/html/Relation.Binary.Lattice.html
similarity index 100%
rename from docs/Relation.Binary.Lattice.html
rename to docs/html/Relation.Binary.Lattice.html
diff --git a/docs/Relation.Binary.Morphism.Definitions.html b/docs/html/Relation.Binary.Morphism.Definitions.html
similarity index 100%
rename from docs/Relation.Binary.Morphism.Definitions.html
rename to docs/html/Relation.Binary.Morphism.Definitions.html
diff --git a/docs/Relation.Binary.Morphism.Structures.html b/docs/html/Relation.Binary.Morphism.Structures.html
similarity index 100%
rename from docs/Relation.Binary.Morphism.Structures.html
rename to docs/html/Relation.Binary.Morphism.Structures.html
diff --git a/docs/Relation.Binary.Properties.Poset.html b/docs/html/Relation.Binary.Properties.Poset.html
similarity index 100%
rename from docs/Relation.Binary.Properties.Poset.html
rename to docs/html/Relation.Binary.Properties.Poset.html
diff --git a/docs/Relation.Binary.Properties.Preorder.html b/docs/html/Relation.Binary.Properties.Preorder.html
similarity index 100%
rename from docs/Relation.Binary.Properties.Preorder.html
rename to docs/html/Relation.Binary.Properties.Preorder.html
diff --git a/docs/Relation.Binary.Properties.TotalOrder.html b/docs/html/Relation.Binary.Properties.TotalOrder.html
similarity index 100%
rename from docs/Relation.Binary.Properties.TotalOrder.html
rename to docs/html/Relation.Binary.Properties.TotalOrder.html
diff --git a/docs/Relation.Binary.PropositionalEquality.Algebra.html b/docs/html/Relation.Binary.PropositionalEquality.Algebra.html
similarity index 100%
rename from docs/Relation.Binary.PropositionalEquality.Algebra.html
rename to docs/html/Relation.Binary.PropositionalEquality.Algebra.html
diff --git a/docs/Relation.Binary.PropositionalEquality.Core.html b/docs/html/Relation.Binary.PropositionalEquality.Core.html
similarity index 100%
rename from docs/Relation.Binary.PropositionalEquality.Core.html
rename to docs/html/Relation.Binary.PropositionalEquality.Core.html
diff --git a/docs/Relation.Binary.PropositionalEquality.Properties.html b/docs/html/Relation.Binary.PropositionalEquality.Properties.html
similarity index 100%
rename from docs/Relation.Binary.PropositionalEquality.Properties.html
rename to docs/html/Relation.Binary.PropositionalEquality.Properties.html
diff --git a/docs/Relation.Binary.PropositionalEquality.html b/docs/html/Relation.Binary.PropositionalEquality.html
similarity index 100%
rename from docs/Relation.Binary.PropositionalEquality.html
rename to docs/html/Relation.Binary.PropositionalEquality.html
diff --git a/docs/Relation.Binary.Reasoning.Base.Double.html b/docs/html/Relation.Binary.Reasoning.Base.Double.html
similarity index 100%
rename from docs/Relation.Binary.Reasoning.Base.Double.html
rename to docs/html/Relation.Binary.Reasoning.Base.Double.html
diff --git a/docs/Relation.Binary.Reasoning.Base.Single.html b/docs/html/Relation.Binary.Reasoning.Base.Single.html
similarity index 100%
rename from docs/Relation.Binary.Reasoning.Base.Single.html
rename to docs/html/Relation.Binary.Reasoning.Base.Single.html
diff --git a/docs/Relation.Binary.Reasoning.Base.Triple.html b/docs/html/Relation.Binary.Reasoning.Base.Triple.html
similarity index 100%
rename from docs/Relation.Binary.Reasoning.Base.Triple.html
rename to docs/html/Relation.Binary.Reasoning.Base.Triple.html
diff --git a/docs/Relation.Binary.Reasoning.Preorder.html b/docs/html/Relation.Binary.Reasoning.Preorder.html
similarity index 100%
rename from docs/Relation.Binary.Reasoning.Preorder.html
rename to docs/html/Relation.Binary.Reasoning.Preorder.html
diff --git a/docs/Relation.Binary.Reasoning.Setoid.html b/docs/html/Relation.Binary.Reasoning.Setoid.html
similarity index 100%
rename from docs/Relation.Binary.Reasoning.Setoid.html
rename to docs/html/Relation.Binary.Reasoning.Setoid.html
diff --git a/docs/Relation.Binary.Structures.html b/docs/html/Relation.Binary.Structures.html
similarity index 100%
rename from docs/Relation.Binary.Structures.html
rename to docs/html/Relation.Binary.Structures.html
diff --git a/docs/Relation.Binary.html b/docs/html/Relation.Binary.html
similarity index 100%
rename from docs/Relation.Binary.html
rename to docs/html/Relation.Binary.html
diff --git a/docs/Relation.Nullary.Decidable.Core.html b/docs/html/Relation.Nullary.Decidable.Core.html
similarity index 100%
rename from docs/Relation.Nullary.Decidable.Core.html
rename to docs/html/Relation.Nullary.Decidable.Core.html
diff --git a/docs/Relation.Nullary.Decidable.html b/docs/html/Relation.Nullary.Decidable.html
similarity index 100%
rename from docs/Relation.Nullary.Decidable.html
rename to docs/html/Relation.Nullary.Decidable.html
diff --git a/docs/Relation.Nullary.Negation.Core.html b/docs/html/Relation.Nullary.Negation.Core.html
similarity index 100%
rename from docs/Relation.Nullary.Negation.Core.html
rename to docs/html/Relation.Nullary.Negation.Core.html
diff --git a/docs/Relation.Nullary.Negation.html b/docs/html/Relation.Nullary.Negation.html
similarity index 100%
rename from docs/Relation.Nullary.Negation.html
rename to docs/html/Relation.Nullary.Negation.html
diff --git a/docs/Relation.Nullary.Product.html b/docs/html/Relation.Nullary.Product.html
similarity index 100%
rename from docs/Relation.Nullary.Product.html
rename to docs/html/Relation.Nullary.Product.html
diff --git a/docs/Relation.Nullary.Reflects.html b/docs/html/Relation.Nullary.Reflects.html
similarity index 100%
rename from docs/Relation.Nullary.Reflects.html
rename to docs/html/Relation.Nullary.Reflects.html
diff --git a/docs/Relation.Nullary.Sum.html b/docs/html/Relation.Nullary.Sum.html
similarity index 100%
rename from docs/Relation.Nullary.Sum.html
rename to docs/html/Relation.Nullary.Sum.html
diff --git a/docs/Relation.Nullary.html b/docs/html/Relation.Nullary.html
similarity index 100%
rename from docs/Relation.Nullary.html
rename to docs/html/Relation.Nullary.html
diff --git a/docs/Relation.Unary.Properties.html b/docs/html/Relation.Unary.Properties.html
similarity index 100%
rename from docs/Relation.Unary.Properties.html
rename to docs/html/Relation.Unary.Properties.html
diff --git a/docs/Relation.Unary.html b/docs/html/Relation.Unary.html
similarity index 100%
rename from docs/Relation.Unary.html
rename to docs/html/Relation.Unary.html
diff --git a/docs/Strict.html b/docs/html/Strict.html
similarity index 100%
rename from docs/Strict.html
rename to docs/html/Strict.html