Manual entry for -AignoreTargetLocations (#1027)

eisop · Dec 22, 2024 · 556cd06 · 556cd06
1 parent 3d43fa3
commit 556cd06
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/manual/introduction.tex b/docs/manual/introduction.tex
@@ -596,6 +596,9 @@
   which is a javac argument to halt compilation if a warning is issued.
 \item \<-AignoreInvalidAnnotationLocations>
   Ignore annotations in bytecode that have invalid annotation locations.
+\item \<-AignoreTargetLocations>
+  Disables validating the target locations of qualifiers based on
+  `@TargetLocations` meta-annotations. This option is not enabled by default.
 \end{itemize}
 
 \label{unsound-by-default}