summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/boot_trace.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/boot_trace.mdwn b/microkernel/mach/gnumach/boot_trace.mdwn
index 8cccb14b..495dfbf4 100644
--- a/microkernel/mach/gnumach/boot_trace.mdwn
+++ b/microkernel/mach/gnumach/boot_trace.mdwn
@@ -6,7 +6,7 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled
[[GNU_Free_Documentation_License|/fdl.txt]]."]]
-``if NCPUS > 1'' stuff is not being considered so far.
+`if NCPUS > 1` stuff is not being considered so far.
> i386/i386at/boothdr.S: \_start