From 5f80c8cd8de6ab532fbe3e267cca45b749331d98 Mon Sep 17 00:00:00 2001
From: mkersten <mkersten>
Date: Fri, 20 Aug 2004 01:01:45 +0000
Subject: Fixed bug#71811 "AJDoc: should be able to set encoding like javadoc"

---
 ajdoc/src/org/aspectj/tools/ajdoc/Main.java | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'ajdoc/src')

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 );
-- 
cgit v1.2.3