From 3a506e5f8265db8f8bd8ab3b06449abc293c0f62 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Sun, 3 Oct 2021 15:48:44 +0200 Subject: [PATCH] remove README.bin --- .gitignore | 1 + README.bin | 15 --------------- 2 files changed, 1 insertion(+), 15 deletions(-) delete mode 100644 README.bin diff --git a/.gitignore b/.gitignore index 8337bb2..4fdfb35 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,4 @@ a.out *.log *.tar.gz src/.merlin +.DS_Store diff --git a/README.bin b/README.bin deleted file mode 100644 index 64b712a..0000000 --- a/README.bin +++ /dev/null @@ -1,15 +0,0 @@ - -You should be able to run HCPL from the unpacked directory with: -`./hcpl file.hcpl'. Type `./hcpl --help' for a list of options. It is -important that you always run hcpl from its directory, otherwise it -won't start because it won't find the standard library in `lib/'. To -test whether hcpl works on your system you may run -`scripts/run-tests.sh'. To edit *.hcpl files, it is recommended to use -the Kate text editor. Syntax highlighting files for Kate may be -installed with: `scripts/install-kate-files.sh'. - -The `examples/' subdirectory contains commented examples which form a -tutorial introduction to HCPL. Some knowledge of logic and functional -programming is necessary to understand them. You should read the -examples in their numerical order. In case the highlighting does not -work, there are also html versions of the examples.