fixed docu

Author: mohamed-barakat

PackageInfo.g

@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "Algebroids",
 Subtitle := "Algebroids and bialgebroids as preadditive categories generated by enhanced quivers",
 Version := Maximum( [
-                   "2020.04.26", ## Mohamed's version
+                   "2020.09.06", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.09.05", ## Kamal's version
                    ## this line prevents merge conflicts

doc/Doc.autodoc

@@ -2,37 +2,34 @@
 
 @Chapter Bialgebroids as algebroids with more structure
 
-@Chapter Full subcategories
+@Chapter Examples
 
-@Section Examples
-
-@Subsection Algebroids
+@Section Algebroids
 @InsertChunk Algebroid
 
-@Subsection Bialgebroids
+@Section Bialgebroids
 @InsertChunk Bialgebroid
 
-@Subsection Hopf algebra generated by group-like elements
+@Section Hopf algebra generated by group-like elements
 @InsertChunk group-like
 
-@Subsection Hopf algebra generated by a primitive element
+@Section Hopf algebra generated by a primitive element
 @InsertChunk primitive
 
-@Subsection A non-counitary coalgebra
+@Section A non-counitary coalgebra
 @InsertChunk non_counitary
 
-@Subsection Sweedlers 4-dimensional Hopf algebra
+@Section Sweedlers 4-dimensional Hopf algebra
 @InsertChunk Sweedler_H4
 
-@Subsection Homomorphism structure
+@Section Homomorphism structure
 @InsertChunk HomStructure
 
-@Subsection Algebroids over the integers
+@Section Algebroids over the integers
 @InsertChunk over_Z
 
-@Subsection Unitors
+@Section Unitors
 @InsertChunk unitors
 
-@Subsection Associators
+@Section Associators
 @InsertChunk associators
-

examples/Example.g

@@ -1,4 +1,4 @@
-#! @BeginChunk associator
+#! @BeginChunk associators
 
 LoadPackage( "Bialgebroid" );
 
@@ -12,9 +12,11 @@ Qq := PathAlgebra( Q, q );
 B := Algebroid( Qq );
 #! Algebra generated by the right quiver q(1)[t:1->1]
 
-ass_ltr := AssociatorLeftToRightWithGivenTensorProductsAsFunctor( (B*B)*B, B, B, B, B*(B*B) );;
+ass_ltr := AssociatorLeftToRightWithGivenTensorProductsAsFunctor(
+                   (B*B)*B, B, B, B, B*(B*B) );;
 
-ass_rtl := AssociatorRightToLeftWithGivenTensorProductsAsFunctor( B*(B*B), B, B, B, (B*B)*B );;
+ass_rtl := AssociatorRightToLeftWithGivenTensorProductsAsFunctor(
+                   B*(B*B), B, B, B, (B*B)*B );;
 
 Source(ass_ltr) = Range(ass_rtl);
 #! true
@@ -29,9 +31,13 @@ BB0 := TensorUnit( CapCategory( BB ) );;
 ass_ltr_as_morphism := AssociatorLeftToRight(BB,BB,BB);;
 ass_rtl_as_morphism := AssociatorRightToLeft(BB,BB,BB);;
 
-IsCongruentForMorphisms( PreCompose( ass_ltr_as_morphism, ass_rtl_as_morphism ), IdentityMorphism( Source( ass_ltr_as_morphism ) ) );
+IsCongruentForMorphisms(
+        PreCompose( ass_ltr_as_morphism, ass_rtl_as_morphism ),
+        IdentityMorphism( Source( ass_ltr_as_morphism ) ) );
 #! true
-IsCongruentForMorphisms( PreCompose( ass_rtl_as_morphism, ass_ltr_as_morphism ), IdentityMorphism( Source( ass_rtl_as_morphism ) ) );
+IsCongruentForMorphisms(
+        PreCompose( ass_rtl_as_morphism, ass_ltr_as_morphism ),
+        IdentityMorphism( Source( ass_rtl_as_morphism ) ) );
 #! true
 
 #! @EndExample

examples/doc/associators.g

@@ -12,7 +12,7 @@ fi;
 AutoDoc( rec(
     autodoc := rec(
         files := [ "doc/Doc.autodoc" ],
-        scan_dirs := [ "doc", "gap", "examples", "examples/doc" ],
+        scan_dirs := [ "gap", "examples", "examples/doc" ],
     ),
     extract_examples := rec(
         units := "Single",

makedoc.g

@@ -13,7 +13,7 @@ AutoDoc( rec(
     dir := "doc_tmp/",
     autodoc := rec(
         files := [ "doc/Doc.autodoc" ],
-        scan_dirs := [ "doc", "gap", "examples", "examples/doc" ],
+        scan_dirs := [ "gap", "examples", "examples/doc" ],
     ),
     gapdoc := rec(
         LaTeXOptions := rec(