fix the documentation

This commit is contained in:
Krasimir Angelov
2023-08-16 21:27:09 +02:00
parent e9dc5d9cad
commit 1f73830d4b
2 changed files with 2 additions and 2 deletions

View File

@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common --# -path=.:../abstract:../common
concrete DocumentationBul of Documentation = CatBul ** open concrete DocumentationBul of Documentation = CatBul ** open
ResBul, ResBul, Prelude,
HTML in { HTML in {
flags coding=utf8 ; flags coding=utf8 ;

View File

@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common --# -path=.:../abstract:../common
concrete DocumentationEng of Documentation = CatEng ** open concrete DocumentationEng of Documentation = CatEng ** open
ResEng, ResEng, Prelude,
HTML in { HTML in {
lincat lincat