search

gap-system / GitHubPagesForGAP

Template for easily using GitHub Pages within GAP packages
https://gap-system.github.io/GitHubPagesForGAP/
Other
13 stars 11 forks source link

Publishing release date on the package webpage #11

Closed olexandr-konovalov closed 6 years ago

olexandr-konovalov commented 6 years ago

In addition to the version, it may be useful to extract from PackageInfo.g the release date as well.

fingolfin commented 6 years ago

The release date always gets extracted, this has been the case since the very first version of GitHubPagesForGAP. It is, however, not shown by the default index.md.

I assume what you are really asking for is to change the default index.md to show the release date in a sensible spot. Well, PRs are welcome... :-)

fingolfin commented 6 years ago

Ah well, never mind, I just implemented this in a51f031a1ed5b3451f8e1915dd8c2fc863c1ed33

olexandr-konovalov commented 6 years ago

@fingolfin

I assume what you are really asking for is to change the default index.md to show the release date in a sensible spot

thanks, you read my mind :)

That was in the title of the PR (Publishing release date on the package webpage) but perhaps when one reads the comment, it is wise to replicate the title as well.