tutorials/2019-11-HPNS-Inria: minor fixes

contents/tutorials/2019-11-HPNS-Inria/index.html

@@ -81,29 +81,25 @@ srun -p hpc -N 1 --pty bash -i
   <p>
     The following Guix command will put in a dedicated StarPU SimGrid
     environment
-    <tt><pre>
+<tt><pre>
 guix environment --pure starpu-simgrid --ad-hoc starpu-simgrid grep coreutils emacs less openssh inetutils  -- /bin/bash --norc
-    </pre></tt>
+</pre></tt>
   </p>
 
   <p>After building and installing StarPU, you can make sure that
     StarPU finds your hardware with:
-    <tt>
-      <pre>
+<tt><pre>
 starpu_machine_display
-      </pre>
-    </tt>
+</pre></tt>
   </p>
 
   <p>
     If you execute the script shell <a href="files/init.sh"><tt>init.sh</tt></a>, you will see
     StarPU will use CUDA workers.
-    <tt>
-      <pre>
+<tt><pre>
 . ./init.sh
 starpu_machine_display
-      </pre>
-    </tt>
+</pre></tt>
   </p>
 
 </div>
@@ -632,15 +628,12 @@ sequential-looking loop, and eventually waiting for all the tasks to
 complete.
 </p>
 
-<!--
 <tt>
 <pre>
-#!/bin/bash
 make ring_async_implicit
 mpirun -np 2 $PWD/ring_async_implicit
 </pre>
 </tt>
--->
 
 </div>
 
@@ -656,15 +649,12 @@ It also shows how data can be migrated to a
 new distribution.
 </p>
 
-<!--
 <tt>
 <pre>
-#!/bin/bash
 make stencil5
 mpirun -np 2 $PWD/stencil5 -display
 </pre>
 </tt>
--->
 
 </div>