gap-packages / guava

GAP package guava - computations relative to error-correcting codes

https://gap-packages.github.io/guava

Other

13 stars 7 forks source link

Switching to GitHubPagesForGAP #29

Closed olexandr-konovalov closed 7 years ago

olexandr-konovalov commented 7 years ago

DO NOT MERGE - THIS IS ONLY FOR THE CHECK!!!

I've attempted the switch in commit d124e4c7a6281143c2dfb03be2e5b616b3fd6e78.

Because of the existing gh-pages branch I've done the following:

created my own fork of the repository
set up new gh-pages branch following instructions from https://github.com/fingolfin/GitHubPagesForGAP
called git pull origin gh-pages --allow-unrelated-histories
resolved conflicts (README.md, PackageInfo.g and doc/*.{html,txt} to 'mine' (current versions of these files)

You can see now the result at http://alex-konovalov.github.io/guava/. @osj1961 and @fingolfin, if the new page looks good to you and you agree with the way how this has been done, I could then update the http://gap-packages.github.io/guava page.

olexandr-konovalov commented 7 years ago

Reminder: as I've asked before, this is not for merging but to see the result at http://alex-konovalov.github.io/guava/. @osj1961 and @fingolfin, if the new page looks good to you and you agree with the way how this has been done, I could then update the http://gap-packages.github.io/guava page - please have a look and leave a comment below.