Fix typos

Author: mernst

docs/manual/warnings.tex

@@ -152,7 +152,7 @@
 recommended, except for messages common to all checkers such as
 purity-related messages when using \<-AcheckPurityAnnotations>. If you use
 \<"allcheckers">, you run some checker that does not issue any warnings,
-and you suply the \<-AwarnUnneededSuppressions> command-line argument, then
+and you supply the \<-AwarnUnneededSuppressions> command-line argument, then
 the Checker Framework will issue an \<unneeded.suppression>
 warning.
 
@@ -665,7 +665,7 @@
 
 \sectionAndLabel{\code{-AskipFiles} and \code{-AonlyFiles} command-line options}{askipfiles}
 
-You can suppresss all errors and warnings originating from classes that are
+You can suppress all errors and warnings originating from classes that are
 located in a given file or directory/folder, or all those that are \emph{not} in a
 given file or directory/folder.