1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-06-26 04:00:43 +03:00

Merge branch 'ganelson:master' into master

This commit is contained in:
David Kinder 2023-07-23 14:24:20 +01:00 committed by GitHub
commit 5bf01d0ed4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 11 additions and 11 deletions

View file

@ -1,6 +1,6 @@
# Inform 7
[Version](notes/versioning.md): 10.2.0-beta+6W88 'Krypton' (22 July 2023)
[Version](notes/versioning.md): 10.2.0-beta+6W89 'Krypton' (23 July 2023)
## About Inform

View file

@ -1,3 +1,3 @@
Prerelease: beta
Build Date: 22 July 2023
Build Number: 6W88
Build Date: 23 July 2023
Build Number: 6W89

View file

@ -30,9 +30,7 @@ the census, to be on the safe side.
=
void ExtensionWebsite::update(inform_project *proj) {
LOGIF(EXTENSIONS_CENSUS, "Updating extensions documentation for project\n");
HTML::set_link_abbreviation_path(Projects::path(proj));
ExtensionIndex::write(proj);
inform_extension *E;
LOOP_OVER_LINKED_LIST(E, inform_extension, proj->extensions_included)
@ -42,6 +40,8 @@ void ExtensionWebsite::update(inform_project *proj) {
inbuild_search_result *res;
LOOP_OVER_LINKED_LIST(res, inbuild_search_result, census)
ExtensionWebsite::document_extension(Extensions::from_copy(res->copy), proj);
ExtensionIndex::write(proj);
}
@ The top-level index page is at this filename.

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "Architecture16Kit",
"version": "10.2.0-beta+6W88"
"version": "10.2.0-beta+6W89"
},
"compatibility": "16-bit",
"kit-details": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "Architecture32Kit",
"version": "10.2.0-beta+6W88"
"version": "10.2.0-beta+6W89"
},
"compatibility": "32-bit",
"kit-details": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "BasicInformKit",
"version": "10.2.0-beta+6W88"
"version": "10.2.0-beta+6W89"
},
"needs": [ {
"need": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "CommandParserKit",
"version": "10.2.0-beta+6W88"
"version": "10.2.0-beta+6W89"
},
"needs": [ {
"need": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "EnglishLanguageKit",
"version": "10.2.0-beta+6W88"
"version": "10.2.0-beta+6W89"
},
"needs": [ {
"need": {

View file

@ -2,7 +2,7 @@
"is": {
"type": "kit",
"title": "WorldModelKit",
"version": "10.2.0-beta+6W88"
"version": "10.2.0-beta+6W89"
},
"needs": [ {
"need": {