From 4d9ef0868f693e14f5219fd91756b6d365b7d261 Mon Sep 17 00:00:00 2001 From: Eli A Zupke Date: Thu, 28 Apr 2022 20:42:12 -0700 Subject: [PATCH] Remove private repository disclaimers This removes a couple of disclaimers warning of functionality that does not yet work because this repository is private. As this repository has been made public, these disclaimers no longer serve a purpose. --- scripts/inform.rmscript | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/scripts/inform.rmscript b/scripts/inform.rmscript index 47e88eb82..fbd054c77 100644 --- a/scripts/inform.rmscript +++ b/scripts/inform.rmscript @@ -27,12 +27,6 @@ Writing and presenting Inform as a literate program was beyond the capabilities of existing LP software, so a new system for LP called Inweb has been spun off from Inform, and that has [its own repository](https://github.com/ganelson/inweb). -__Disclaimer__. Because this is a private repository (until the next public -release of Inform, when it will open), its GitHub pages server cannot be -enabled yet. As a result links marked {WEBICON} lead only to raw HTML -source, not to served web pages. They can in the mean time be browsed offline -as static HTML files stored in "docs". - ## Licence and copyright Except as noted, copyright in material in this repository (the "Package") is @@ -140,8 +134,7 @@ trees and hedges."** (Michael Frayn) Inform is not a single program, but an assemblage of programs and resources. Some, including the inform7 compiler itself, are "literate programs", also called "webs". The notation {WEBICON} marks these, and links are provided to -their human-readable forms. (This will be enabled when the repository -becomes public: GitHub Pages does not work on private repositories.) +their human-readable forms. ### Source for command-line tools