Fix includes, and remove autogenerated files from github.

Includes of auto-generated files must come from the build/ directory. Otherwise there are two sets of the same files (with potential differences), leading to confusion. The files can be generated with `make build-registers` if necessary.
riscv · Dec 20, 2023 · 4544685 · 4544685
1 parent f6a927b
commit 4544685
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 625 deletions.
diff --git a/Sdext.adoc b/Sdext.adoc
@@ -211,9 +211,9 @@ instruction exception.
 
 These registers are only accessible from Debug Mode.
 
-include::core_registers.adoc[]
+include::build/core_registers.adoc[]
 
 [[virtreg]]
 === Virtual Debug Registers
 
-include::sw_registers.adoc[]
+include::build/sw_registers.adoc[]
diff --git a/abstract_commands.adoc b/abstract_commands.adoc