Index: fiasco/The Fiasco microkernel - Building and Using.html
===================================================================
--- fiasco.orig/The Fiasco microkernel - Building and Using.html 2014-04-07 05:24:31.019690370 +1000
+++ fiasco/The Fiasco microkernel - Building and Using.html 2014-04-07 05:35:37.859319499 +1000
@@ -175,8 +175,9 @@
<p>
To test your Fiasco.OC build we recommend to use
- options for booting, one is to generate a bootable ISO image. For that, build
- L4Re and launch in the build directory of your L4Re tree:
+ options for booting, one is to generate a bootable ISO image. For that,
+ and launch in the build directory of your L4Re tree:
</p>
<div class="code">
@@ -250,4 +251,4 @@
-</body></html>
\ No newline at end of file
+</body></html>