Re: [math] UTF-8 characters in javadoc comments

HI Ted, 2012/11/14 Ted Dunning > On Wed, Nov 14, 2012 at 12:11 AM, Sébastien Brisard < > sebastien.bris...@m4x.org> wrote: > > > > There is no problem with the current setup of our website (at least, > the > >> website generated locally has no problem). > > > > > > For the new system, I would l

Re: [math] UTF-8 characters in javadoc comments

On Wed, Nov 14, 2012 at 12:11 AM, Sébastien Brisard < sebastien.bris...@m4x.org> wrote: > > There is no problem with the current setup of our website (at least, the >> website generated locally has no problem). > > For the new system, I would like to step up, but I really (really) have > no clue

Re: [math] UTF-8 characters in javadoc comments

Hi Gary, 2012/11/14 Gary Gregory > I think you have to tell the compiler and javadoc plugin about the > encoding. > > The thing I don't understand is that the encoding for the javadoc plugin should default [1] to ${project.build.sourceEncoding} and ${project.reporting.outputEncoding} which are

Re: [math] UTF-8 characters in javadoc comments

I think you have to tell the compiler and javadoc plugin about the encoding. Gary On Nov 14, 2012, at 3:31, "Sébastien Brisard" wrote: > Hi again, > > Correction > >> >> There is no problem with the current setup of our website (at least, the >> website generated locally has no problem). >> >>

Re: [math] UTF-8 characters in javadoc comments

Hi again, Correction > > There is no problem with the current setup of our website (at least, the > website generated locally has no problem). > > I was sure of the contrary, but it turns out that the generated Javadoc does not display UTF-8 characters correctly, although the following propertie

Re: [math] UTF-8 characters in javadoc comments

Hello Luc, 2012/11/14 Luc Maisonobe > Le 14/11/2012 07:53, Sébastien Brisard a écrit : > > Hi, > > Hi Sébastien, > > > since the pom specifies the encoding of our source files as well as the > > generated HTML files of the Javadoc, it occured to me that it is possible > > to use UTF-8 characters

Re: [math] UTF-8 characters in javadoc comments

Le 14/11/2012 07:53, Sébastien Brisard a écrit : > Hi, Hi Sébastien, > since the pom specifies the encoding of our source files as well as the > generated HTML files of the Javadoc, it occured to me that it is possible > to use UTF-8 characters in the Javadoc comments. > I think using Γ instead o

[math] UTF-8 characters in javadoc comments

Hi, since the pom specifies the encoding of our source files as well as the generated HTML files of the Javadoc, it occured to me that it is possible to use UTF-8 characters in the Javadoc comments. I think using Γ instead of Γ, or ≤ instead of ≤ increases readability of the source files. However,