bump version 2020.05.23

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CddInterface",
 Subtitle := "Gap interface to Cdd package",
-Version := "2020.05.22",
+Version := "2020.05.23",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

README.md

@@ -6,7 +6,7 @@ The GAP 4 package `CddInterface'
 
 # Version
 
-Current version: 2020.05.22
+Current version: 2020.05.23
 
 # Why CddInterface
 
@@ -27,25 +27,25 @@ You also need the package `libgmp-dev`:
 
     sudo apt-get install libgmp-dev
 
-Moreover, you need the package `libtool`:
+Moreover, you may need the package `libtool`:
 
     sudo apt-get install libtool
 
 ## Simple installation (with the default cdd for you system):
 
     sudo apt-get install libcdd-dev
     ./autogen.sh
-    ./configure --with-gaproot=path-to-gaproot
+    ./configure --with-gaproot=path/to/gaproot
     make
 
-where the `<path-to-gaproot>` is the path to the folder where you installed and compiled `Gap` and 
+where the `path/to/gaproot` is the path to the folder where you installed and compiled `Gap` and 
 which contains the file `sysinfo.gap`. The default value is `../..`.
 
 ## Simple installation (includes building the current cdd from source):
 
 For a simplified installation, try the following command in the main CddInterface directory
 
-    ./install.sh <path-to-gaproot>
+    ./install.sh path/to/gaproot
 
 If that does not work, try the following: