extend the documentation API

2021-03-12 22:24:40 +01:00
1 parent 9d75eebcc0
commit 88b3974bee
@@ -74,7 +74,7 @@ lin
       } ;

 {-
-  InflectionAdv adv = {
+  InflectionAdv, InflectionAdV, InflectionAdA, InflectionAdN = \adv -> {
    t  = "adverb" ;
    s1 = heading1 (heading adverb_Category) ;
    s2 = paragraph adv.s