ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-07 17:44:22 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #10 from Trainzack/patch-1

Browse source 
Remove private repository disclaimers
This commit is contained in:
Graham Nelson 2022-04-29 08:14:15 +01:00 committed by GitHub
parent c4bc6cd4ca 4d9ef0868f
commit 25899a03b2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/inform.rmscript
View file

@ -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 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). 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 ## Licence and copyright
Except as noted, copyright in material in this repository (the "Package") is 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. Inform is not a single program, but an assemblage of programs and resources.
Some, including the inform7 compiler itself, are "literate programs", also Some, including the inform7 compiler itself, are "literate programs", also
called "webs". The notation {WEBICON} marks these, and links are provided to called "webs". The notation {WEBICON} marks these, and links are provided to
their human-readable forms. (This will be enabled when the repository their human-readable forms.
becomes public: GitHub Pages does not work on private repositories.)
### Source for command-line tools ### Source for command-line tools