From 1f73830d4bde9dd5247d407bfbf4502758a742fa Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 16 Aug 2023 21:27:09 +0200 Subject: [PATCH] fix the documentation --- src/bulgarian/DocumentationBul.gf | 2 +- src/english/DocumentationEng.gf | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/bulgarian/DocumentationBul.gf b/src/bulgarian/DocumentationBul.gf index 76630cb5..9f3c82c1 100644 --- a/src/bulgarian/DocumentationBul.gf +++ b/src/bulgarian/DocumentationBul.gf @@ -1,6 +1,6 @@ --# -path=.:../abstract:../common concrete DocumentationBul of Documentation = CatBul ** open - ResBul, + ResBul, Prelude, HTML in { flags coding=utf8 ; diff --git a/src/english/DocumentationEng.gf b/src/english/DocumentationEng.gf index 75066bb5..c4c66eee 100644 --- a/src/english/DocumentationEng.gf +++ b/src/english/DocumentationEng.gf @@ -1,6 +1,6 @@ --# -path=.:../abstract:../common concrete DocumentationEng of Documentation = CatEng ** open - ResEng, + ResEng, Prelude, HTML in { lincat