From df1c285da2fc213f06fba732ceeef3fb41f79dc6 Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Thu, 13 Apr 2006 19:18:28 +0000 Subject: [PATCH] fix capitalization --- www/html/getting-started.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/www/html/getting-started.html b/www/html/getting-started.html index f3490f18..25871ef7 100644 --- a/www/html/getting-started.html +++ b/www/html/getting-started.html @@ -197,7 +197,7 @@ directory. The Makefile is not required, but will simplify the process.

Now the policy directory should have the three module source files and Makefile. -all that needs to be done is to run make, and the policy will be compiled. +All that needs to be done is to run make, and the policy will be compiled.