Fixed bug#71811 "AJDoc: should be able to set encoding like javadoc"

1 files changed, 15 insertions, 0 deletions

diff --git a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java
index 2cff8de2c..6611d2165 100644
--- a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java
+++ b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java
@@ -495,6 +495,21 @@ public class Main implements Config {
                 options.addElement( arg );
                 ajcOptions.addElement( arg );
             }
+            else if ( arg.equals( "-encoding" ) ) {
+                addNextAsOption = true;
+                addNextToAJCOptions = false;
+                options.addElement( arg );
+            }
+            else if ( arg.equals( "-docencoding" ) ) {
+                addNextAsOption = true;
+                addNextToAJCOptions = false;
+                options.addElement( arg );
+            }
+            else if ( arg.equals( "-charset" ) ) {
+                addNextAsOption = true;
+                addNextToAJCOptions = false;
+                options.addElement( arg );
+            }
             else if ( arg.equals( "-sourcepath" ) ) {
                 addNextAsSourcePath = true;
                 //options.addElement( arg );