@@ -33,7 +33,7 @@ follow these steps.
3333
3434 2. autoconf
3535
36- 3. gnu- make
36+ 3. GNU make
3737
3838 4. gcc, g++ (version 2.95.3 preferred, but gcc version 2.7.2
3939 to 2.95.4, egcs 1.0.3 and 1.1.2 should work, gcc 2.96 does
@@ -113,17 +113,17 @@ follow these steps.
113113
114114 BEWARE: some of the option are for testing only,
115115 they will usually not work in general:
116- --with-Plural,--with-plural (you need a Singuilar version > 2.1.2 for this)
116+ --with-Plural,--with-plural (you need a Singular version > 2.1.2 for this)
117117 (standard since version 3-0-0)
118118 --with-sgroup (you need the sgroup programs for this)
119119 --with-smallgmp (not maintained), removed in 3-0-0
120- --with-namespaces (you need a Singuilar version > 2.1.x for this)
120+ --with-namespaces (you need a Singular version > 2.1.x for this)
121121 (standard since version 3-0-0)
122122
123123
124124 8. make install (resp. gmake install - the make program must be
125- GNU- Make) the make process will (hopefully) build:
126- 1. omalloc: the memry management routines (required)
125+ GNU Make) the make process will (hopefully) build:
126+ 1. omalloc: the memory management routines (required)
127127
128128 2. MP: Multi-Protocoll (optional)
129129
0 commit comments