From 1980b088cd54759bf480087f9c67091d02bd0261 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 14 Sep 2018 18:19:20 +0100 Subject: [PATCH] Update README to account for recent file arrangements. --- README.md | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index f3f1c5a7..182ab8e1 100644 --- a/README.md +++ b/README.md @@ -9,10 +9,9 @@ For detailed installation instructions, check the online manual at: http://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions -or see the local copies included in this distribution: +or see the local copy included in this distribution: - * `doc/manual/InstallingPRISM/Instructions.html` - * `doc/manual.pdf` + * `manual/InstallingPRISM/Instructions.html` Very abbreviated instructions for installing/running PRISM are as follows: @@ -23,12 +22,12 @@ For Windows binary distributions: For other binary distributions: - * to install, enter the PRISM directory, type `./install.sh` + * to install, enter the PRISM directory and type `./install.sh` * to run, execute `bin/xprism` or `bin/prism` For source code distributions: - * enter the PRISM directory and type `make` + * enter the PRISM directory and type `cd prism` then `make` * to run, execute `bin/xprism` or `bin/prism` If you have problems check the manual, especially the section "Common Problems And Questions". @@ -40,10 +39,9 @@ The best source of information about using PRISM is the online manual: http://www.prismmodelchecker.org/manual/ -You can also view the local copies included in this distribution: +You can also view the local copy included in this distribution: - * `doc/manual/index.html` - * `doc/manual.pdf` + * `manual/index.html` For other PRISM-related information, see the website: