Merge pull request #30 from riscv/rebuild-after-riscv-isa-manual-fixes

Rebuild and deploy after riscv-isa-manual fixes.

Author: wmat

antora/build-trigger.txt

@@ -1,3 +1,5 @@
 This is a file you can change when all you want to do is trigger a full rebuild and deploy.
 
-It's useful when you've been fixing up antora sources elsewhere and want to see your changes pulled in.
+It's useful when you've been fixing up antora sources elsewhere and want to see your changes pulled in.
+
+Rebuild