diff --git a/index.html b/index.html
index ab73209..3f6f622 100644
--- a/index.html
+++ b/index.html
@@ -973,9 +973,9 @@
Instructions: 1.
Extract all files, which will be contained
- in a directory called "metamath". 2. For Windows, double-click on
+ in a directory called "metamath". On Linux and Mac OS this can be done using the popular "tar xvzf " command. 2. For Windows, double-click on
"metamath.exe" and type "read set.mm". For Linux/MacOSX/Unix,
- compile with the command "gcc *.c -o metamath" inside the
+ compile with the command "gcc src/*.c -o metamath" inside the
"metamath" directory, then type "./metamath set.mm" to run.
3. For
all systems, once in the program, use the "help" command to guide you.