Special Pygments build no longer needed?

bootlin / elixir

The Elixir Cross Referencer

GNU Affero General Public License v3.0

988 stars 147 forks source link

Special Pygments build no longer needed? #212

Open aron-silverton opened 3 years ago

aron-silverton commented 3 years ago

Hi,

It looks like your changes to Pygments for devicetree and kconfig were merged around v2.7. I see that PyPi has v2.8. Can the PyPi build now be used with Elixir?

Thank you,

Aron

aron-silverton commented 3 years ago

Ah, I think that the kconfig changes are not in the upstream yet. I must have been looking at the fork that does have the changes. Apologies.

michaelopdenacker commented 3 years ago

Hi Aron Thanks for checking anyway! You could have been right. Cheers Michael

aron-silverton commented 3 years ago

Hi Michael,

I might have been wrong again... I do see the changes to support kconfig* from Maxime's repository in the upstream. Perhaps the PyPi version is safe to use now?

Aron

michaelopdenacker commented 3 years ago

I'll check when I have time (next week-end?). Let's re-open this bug. Thanks again!