Improvements to the site #6

merged 3 commits into from Oct 18, 2011


None yet

2 participants


Hi Paul,

I've made some more improvements. Probably you have not noticed, the page layout was broken. I fixed a few points.

  • fixed missing CSS, page layout was broken by removing custom (old?) site.vm
  • fixed bannerLeft href to new gitsite
  • logo and publishDate have plausibile defaults, it's fine to go with these
  • download.apt is filtered by the site plugin now
  • reduced example replacement scope to examples.html

NOTE: ExceptionExample exits the JVM with return code 1 which might confuse folks
who build your lib themselves. Might be worth mentioning somewhere.
IDEA: It might be reasonable to spit example output to ${}/examples rather than ${}.

I guess it's fine to bump the version to 4.0.1.

pholser commented Oct 18, 2011

Thanks for taking this on!

@pholser pholser merged commit 0a31368 into pholser:master Oct 18, 2011
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment