Message12132
Thanks for the comments. I agree that its already "good enough" to work as a replacement and once its there anyone can start contributing to it.
I wanted to move the "new website info" to the News page. so I will do that and then open a PR to update https://github.com/jython/jython.github.io.
I don't think I can push there directly? I haven't tried though.
@Stefan You raise a few points I had also been considering.
1. Keeping the old website accessible somewhere. I haven't looked at this. Should it be part of the new site or hosted somewhere else with a link? Definitely think this should be done. I think it would work if I copy all the HTML in I will have a look at that too.
2. Higher resolution logo. I was meaning to ask about this do we have a vector version of the logo I could use?
On the JavaDoc issue. I have changed back to javadoc.io for now, which might even be a better option. However the issue is that _ is used for special files/directories in Jekyll see https://help.github.com/articles/files-that-start-with-an-underscore-are-missing/ there are a few workarounds which I tried but didn't get any of them to work nicely. I got it to work but additional files I didn't want were copied. Would be worth some more investigation if we decide we want to host JavaDoc. |
|
Date |
User |
Action |
Args |
2018-10-09 07:09:57 | jamesmudd | set | messageid: <1539068997.29.0.545547206417.issue2658@psf.upfronthosting.co.za> |
2018-10-09 07:09:57 | jamesmudd | set | recipients:
+ jamesmudd, fwierzbicki, amak, zyasoft, jeff.allen, stefan.richthofer, adamburke |
2018-10-09 07:09:57 | jamesmudd | link | issue2658 messages |
2018-10-09 07:09:56 | jamesmudd | create | |
|