-<p>It has been developed on Linux with GCC and it should run on all POSIX systems,
-possibly requiring trivial modifications.
+<h2>Build</h2>
+
+<p>The emulator has been developed on Linux with GCC and it should build and run on all POSIX systems,
+possibly requiring trivial modifications.
+
+<p>On a system with the GNU toolchain installed, the emulator can be built by running the following
+command:
+<pre>
+$ make
+</pre>
+
+<h2><a id="use">Use</a></h2>
+
+<p>The emulator reads its input from stdin. Loading and executing the ex-hello example program
+would therefore be done like this:
+<pre>
+$ ./minsk < ex-hello
+</pre>
+
+<p>The list of supported options can be acquired by running the emulator with any
+unsupported option:
+<pre>
+$ ./minsk -h
+</pre>