8 Commits

Author SHA1 Message Date
Andreas Dangel
a9d8fe70a7 [doc] Fix github logo in footer 2023-03-31 09:27:04 +02:00
Andreas Dangel
644bd3ab39 Merge branch 'master' into pmd/7.0.x 2022-03-24 15:15:55 +01:00
Andreas Dangel
af9547af7d [doc] Minor fixes (styling mostly)
Don't show edit buttons for generated pages
2022-03-24 12:13:01 +01:00
Bailey Tjiong
0fbcfec9b1 Change the top and bottom edit buttons 2022-03-15 01:28:15 +01:00
Andreas Dangel
43e6bbe428 [doc] Add new logo in the documentation, remove old logo images 2020-09-17 10:57:22 +02:00
Andreas Dangel
70ab4f2468 Restructure pages: product is now "pmd", sidebar new, pages moved
Removed the samples mydoc, product1, product2
2017-05-25 12:16:23 +02:00
Andreas Dangel
b14da68b5a Update theme from https://github.com/tomjohnson1492/documentation-theme-jekyll 2017-05-25 10:22:39 +02:00
Andreas Dangel
b193bb28d8 Add 'docs/' from commit '106142b25c9387ffd002437027ced1b04f494205'
git-subtree-dir: docs
git-subtree-mainline: 23545aa7ea599faf17737de9879733a1bde700d1
git-subtree-split: 106142b25c9387ffd002437027ced1b04f494205
2017-05-25 10:01:42 +02:00