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

2012-11-14 Thread Sébastien Brisard
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

2012-11-14 Thread 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 like to step up, but I really (really) have > no clue

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

2012-11-14 Thread Sébastien Brisard
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

2012-11-14 Thread Gary Gregory
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

2012-11-14 Thread Sébastien Brisard
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

2012-11-14 Thread Sébastien Brisard
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

2012-11-13 Thread 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 in the Javadoc comments. > I think using Γ instead o