Introduce "one click edition" feature.

Now that the documentation has been moved to github
we can add a link above each documentation page that
allows people to directly edit the page on github. When
the page is saved, github automatically creates a new
pull request with the changes.

We should wait that googlebot is configured for our
documentation repository before to merge this change.

Change-Id: I4d20932d4ec05e86b65d25a71c0c51ac03a39e76
3 files changed
tree: 4f06d3e1fcfc2e15577f0657a6d6d0d1d3a63533
  1. .gitignore
  3. pom.xml
  4. src/

#GWT Documentation


##Adding content


  • simply run: mvn clean install
  • after that you will find the generated documentation in target/generated-site/.

###Running locally Run the site locally for easy visual testing