Remove old gitbook stuff

AmpersandTarski · Aug 12, 2024 · 3e89b82 · 3e89b82
1 parent 9414688
commit 3e89b82
Show file tree

Hide file tree

Showing 9 changed files with 16 additions and 107 deletions.
diff --git a/README.md b/README.md
@@ -9,4 +9,4 @@ Check out the [release notes](https://github.com/AmpersandTarski/Ampersand/blob/
 
 ## Documentation
 
-We are currently in a process to change the way we publish our documentation. The old site can be found [here](https://ampersandtarski.gitbook.io/documentation/). The new site can be found [here](https://ampersandtarski.github.io/docs/Ampersand/). It features full-text search and it contains all documentation of several repositories in a single place. We are still [working](https://github.com/AmpersandTarski/Ampersand/issues/1315) on structuring it. 
+Our [documentation](https://ampersandtarski.github.io/docs/Ampersand/) features full-text search and it contains all documentation of several repositories in a single place. We are still [working](https://github.com/AmpersandTarski/Ampersand/issues/1315) on structuring it.
diff --git a/ampersand/.gitignore b/ampersand/.gitignore
@@ -0,0 +1,4 @@
+# Ignore everything in this directory
+*
+# Except this file
+!.gitignore
diff --git a/docs/docker/1-compiler.md b/docs/docker/1-compiler.md
@@ -7,12 +7,11 @@ description: >-
 
 # Compiler
 
-To run the Ampersand compiler from any computer that runs docker, use a Docker image from our Ampersand repository on GitHub: `docker.pkg.github.com/ampersandtarski/ampersand/ampersand`
-
-Make a shortcut tag to save typing:
+To run the Ampersand compiler from any computer that runs docker, use a Docker image from our Ampersand repository on Docker hub, and make a shortcut tag to save typing:
 
 ```bash
-docker tag docker.pkg.github.com/ampersandtarski/ampersand/ampersand ampersand
+docker pull ampersandtarski/ampersand
+docker tag ampersandtarski/ampersand ampersand
 ```
 
 Different tags are available, e.g.:

diff --git a/docs/sidebar.js b/docs/sidebar.js
@@ -131,9 +131,6 @@ module.exports = {
                 'ampersand/the-tools-we-use/deploying-with-kubernetes',
                 'ampersand/the-tools-we-use/functionality-of-rap3/README',
                 'ampersand/the-tools-we-use/git',
-                'ampersand/the-tools-we-use/gitbook/README',
-                'ampersand/the-tools-we-use/gitbook/dos-and-donts-in-ampersand-documentation',
-                'ampersand/the-tools-we-use/gitbook/getting-started-with-gitbook',
                 'ampersand/the-tools-we-use/group-1/development-using-vs-code',
                 'ampersand/the-tools-we-use/klad',
                 'ampersand/the-tools-we-use/making-docker-images',
@@ -227,38 +224,6 @@ module.exports = {
     ),
 
     toolsWeUseMainSidebar: [
-        // {
-        //     label: 'Tools for contributors',
-        //     type: 'category',
-        //     items: [
-        //         'the-tools-we-use/README',
-        //         'the-tools-we-use/ampersand-language-support',
-        //         'the-tools-we-use/authentication-and-access-management-with-oauth',
-        //         'the-tools-we-use/automation-of-releasing-ci-cd/README',
-        //         'the-tools-we-use/automation-of-releasing-ci-cd/github-packages',
-        //         'the-tools-we-use/building/README',
-        //         'the-tools-we-use/building/automated-builds',
-        //         'the-tools-we-use/building/building-an-ampersand-compiler-as-docker-image',
-        //         'the-tools-we-use/building/haskell',
-        //         'the-tools-we-use/building/testing-with-docker-on-your-own-laptop',
-        //         'the-tools-we-use/deploying-rap3-with-azure',
-        //         'the-tools-we-use/deploying-rap3-with-azure/deploying-rap3-with-azure-on-windows-server',
-        //         'the-tools-we-use/deploying-with-kubernetes',
-        //         'the-tools-we-use/functionality-of-rap3/README',
-        //         'the-tools-we-use/git',
-        //         'the-tools-we-use/gitbook/README',
-        //         'the-tools-we-use/gitbook/dos-and-donts-in-ampersand-documentation',
-        //         'the-tools-we-use/gitbook/getting-started-with-gitbook',
-        //         'the-tools-we-use/group-1/development-using-vs-code',
-        //         'the-tools-we-use/klad',
-        //         'the-tools-we-use/prototype-framework',
-        //         'the-tools-we-use/rap3-student',
-        //         'the-tools-we-use/rap3-tutor',
-        //         'the-tools-we-use/releasing-ampersand-and-workflow-details',
-        //         'the-tools-we-use/tools-used-in-the-ampersand-project'
-        //     ]
-        // }
-
     ],
     notOnOldSite: [
         'ampersand/conceptual/automated-rules',

diff --git a/docs/the-tools-we-use/git.md b/docs/the-tools-we-use/git.md
@@ -16,18 +16,18 @@ We use Git for the following purposes:
 
 We maintain and use the following repositories at Github:
 
-| Repo                                                                                        | purpose                                                                                                                                                                                                                                                                                                                      |
+| Repo                                                                                        | Purpose                                                                                                                                                                                                                                                                                                                      |
 | ------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| [Ampersand](https://github.com/AmpersandTarski/Ampersand)                                   | contains the source code of the Ampersand compiler up to the point that all the regular docker images of the Ampersand compiler are generated from this repository.                                                                                                                                                                                 |
+| [Ampersand](https://github.com/AmpersandTarski/Ampersand)                                   | contains the source code of the Ampersand compiler up to the point that all the regular docker images of the Ampersand compiler are generated from this repository. |
 | [ampersand-models](https://github.com/AmpersandTarski/ampersand-models)                     | contains a collection of Ampersand models, which are meant as examples and are for reuse by the public at large.    |
-| [Ampersand-Language-Support](https://github.com/AmpersandTarski/Ampersand-Language-Support) | contains language support for VS-code, such as syntax coloring, code snippets, and the like.                                                                                                                                                                                                                                 |
-| \*\*\*\*[Publications](https://github.com/AmpersandTarski/Publications)                     | This repo is meant for collaborative writing of journal and conference papers about Ampersand.                                                                                                                                                                                                                               |
-| [Prototype](https://github.com/AmpersandTarski/Prototype)                                   | contains JavaScript source code of the prototype front-end and back-end generators and runtime code.                                                                                                                                                                                                                         |
-| [documentation](https://github.com/AmpersandTarski/documentation)                           | contains the source code of the documentation of Ampersand on GitBook. This is deprecated.                                                                                                                                                                                                                                                      |
+| [Ampersand-Language-Support](https://github.com/AmpersandTarski/Ampersand-Language-Support) | contains language support for VS-code, such as syntax coloring, code snippets, and the like.   |
+| \*\*\*\*[Publications](https://github.com/AmpersandTarski/Publications)                     | This repo is meant for collaborative writing of journal and conference papers about Ampersand.                                      |
+| [Prototype](https://github.com/AmpersandTarski/Prototype)                                   | contains JavaScript source code of the prototype front-end and back-end generators and runtime code.                               |
+| [documentation](https://github.com/AmpersandTarski/documentation)                           | contains the source code of the old documentation of Ampersand on GitBook. This is deprecated, because we use Github Pages to deploy our Docusaurus site.   |
 | [Docusaurus](https://github.com/AmpersandTarski/AmpersandTarski.github.io)                  | contains the source code of the documentation and the code to deploy it.   |
 | [RAP](https://github.com/AmpersandTarski/RAP)                                               | contains the source code of RAP, a tool that lets you analyse Ampersand models, generate functional specifications and make prototypes of information systems. It is the primary tool for students of the Open University of the Netherlands in the course Rule Based Design.                                                |
-| [MirrorMe](https://github.com/AmpersandTarski/MirrorMe)                                     | contains the source code for an argument assistance system. It is based on defeasible reasoning along the lines of Toulmin and Hohfeld.                                                                                                                                                                                      |
-| [webFiles](https://github.com/AmpersandTarski/webFiles)                                     | contains all kind of consolidated documents that are related to Ampersand in some way. They are stored here to ensure that we have stable URLs to these documents, so we can hyperlink to them wherever appropriate                                                                                                          |
+| [MirrorMe](https://github.com/AmpersandTarski/MirrorMe)                                     | contains the source code for an argument assistance system. It is based on defeasible reasoning along the lines of Toulmin and Hohfeld. |
+| [webFiles](https://github.com/AmpersandTarski/webFiles)                                     | contains all kind of consolidated documents that are related to Ampersand in some way. They are stored here to ensure that we have stable URLs to these documents, so we can hyperlink to them wherever appropriate |
 
 ## Getting started with Git
 

diff --git a/docs/the-tools-we-use/gitbook/README.md b/docs/the-tools-we-use/gitbook/README.md
diff --git a/docs/the-tools-we-use/gitbook/dos-and-donts-in-ampersand-documentation.md b/docs/the-tools-we-use/gitbook/dos-and-donts-in-ampersand-documentation.md
diff --git a/docs/the-tools-we-use/gitbook/getting-started-with-gitbook.md b/docs/the-tools-we-use/gitbook/getting-started-with-gitbook.md
diff --git a/docs/the-tools-we-use/onboarding/onboarding.md b/docs/the-tools-we-use/onboarding/onboarding.md
@@ -6,7 +6,6 @@ Ampersand is een project van de Open Universiteit, ondersteund door Ordina en TN
 Het onderzoek van Ampersand is gericht op het generen van informatiesystemen, rechtstreeks uit business rules, door middel van relatie-algebra. De Ampersand compiler is in staat om van een set business rules een database, back-end en front-end te genereren.
 
 - [Documentatie](https://ampersandtarski.github.io/)
-- [Documentatie (gitbook version)](https://ampersandtarski.gitbook.io/documentation/)
 - [Github project](https://github.com/AmpersandTarski)
 - [Docker hub](https://hub.docker.com/u/ampersandtarski)
 - [Wiki](https://github.com/AmpersandTarski/Ampersand/wiki)
Original file line number	Diff line number	Diff line change
Expand Up		@@ -9,4 +9,4 @@ Check out the [release notes](https://github.com/AmpersandTarski/Ampersand/blob/

		## Documentation

		We are currently in a process to change the way we publish our documentation. The old site can be found [here](https://ampersandtarski.gitbook.io/documentation/). The new site can be found [here](https://ampersandtarski.github.io/docs/Ampersand/). It features full-text search and it contains all documentation of several repositories in a single place. We are still [working](https://github.com/AmpersandTarski/Ampersand/issues/1315) on structuring it.
		Our [documentation](https://ampersandtarski.github.io/docs/Ampersand/) features full-text search and it contains all documentation of several repositories in a single place. We are still [working](https://github.com/AmpersandTarski/Ampersand/issues/1315) on structuring it.