Re: r1828598 and r1828599: tool to ease syntax highlight upgrade in prettify.js

2018-04-09 Thread Luca Toscano
2018-04-07 19:45 GMT+02:00 Christophe Jaillet : > Le 07/04/2018 à 19:00, Christophe Jaillet a écrit : > >> Hi, >> keeping up to date directives lists for syntax highlight in prettify.js >> can be tricky. >> >> I've tried to ease the process. >> The 2 commits in the

Re: r1828598 and r1828599: tool to ease syntax highlight upgrade in prettify.js

2018-04-08 Thread Ruediger Pluem
On 04/07/2018 07:45 PM, Christophe Jaillet wrote: > Le 07/04/2018 à 19:00, Christophe Jaillet a écrit : >> Hi, >> keeping up to date directives lists for syntax highlight in prettify.js can >> be tricky. >> >> I've tried to ease the process. >> The 2 commits in the subject line add a way to

Re: r1828598 and r1828599: tool to ease syntax highlight upgrade in prettify.js

2018-04-07 Thread Christophe Jaillet
Le 07/04/2018 à 19:00, Christophe Jaillet a écrit : Hi, keeping up to date directives lists for syntax highlight in prettify.js can be tricky. I've tried to ease the process. The 2 commits in the subject line add a way to generate the needed list with the syntax expected by prettify.js. It