Update Makefile

Signed-off-by: Kersten Richter <[email protected]>
riscv · Apr 10, 2024 · 0d64f0d · 0d64f0d
1 parent d7f20cf
commit 0d64f0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -13,7 +13,7 @@
 # the Doc Template for RISC-V Extensions.
 
 DOCS := \
-	gloss-header.adoc
+	gloss_header.adoc
 
 DATE ?= $(shell date +%Y-%m-%d)
 VERSION ?= v0.0.0