Re: Maven Javadoc Plugin + additional stylesheet file parameter

2019-10-16 Thread Robert Scholte
Please create a JIRA issue at https://issues.apache.org/jira/browse/MJAVADOC and a pullrequest. First comments: I suggest to rename it to addStylesheet, and I don't think a property makes sense here (e.g. do you really want to set it like 'mvn javadoc:javadoc -Dadd-stylesheet=some/path/to/s

Maven Javadoc Plugin + additional stylesheet file parameter

2019-10-16 Thread Martin Schelldorfer-Lüssi
Support for multiple stylesheets in javadoc was added to OpenJDK 10 as JDK-8189217 [1]. I suggest to add a new configuration parameter "addstylesheet" to Maven JavaDoc Plugin. This value should passed as parameter "--add-stylesheet" to javadoc command line. There is a fork on github which impleme

Re: last review of Reproducible Builds proposal

2019-10-16 Thread Hervé BOUTEMY
Le mercredi 16 octobre 2019, 13:40:48 CEST Andreas Sewe a écrit : > Emmanuel Bourg wrote: > > Le 16/10/2019 à 08:35, Hervé BOUTEMY a écrit : > >> last question: now that we seem to fully understand each other, does it > >> mean that you don't need any more "seconds since the epoch" format > >> supp

Re: last review of Reproducible Builds proposal

2019-10-16 Thread Andreas Sewe
Emmanuel Bourg wrote: > Le 16/10/2019 à 08:35, Hervé BOUTEMY a écrit : >> last question: now that we seem to fully understand each other, does it mean >> that you don't need any more "seconds since the epoch" format support for >> the >> property? > > If Maven supports the SOURCE_DATE_EPOCH env

Re: last review of Reproducible Builds proposal

2019-10-16 Thread Emmanuel Bourg
Le 16/10/2019 à 08:35, Hervé BOUTEMY a écrit : > last question: now that we seem to fully understand each other, does it mean > that you don't need any more "seconds since the epoch" format support for the > property? If Maven supports the SOURCE_DATE_EPOCH environment variable I don't think tha