Skip to content

Commit e0651d3

Browse files
committed
Revert some changes
1 parent 0c9762f commit e0651d3

File tree

1 file changed

+5
-6
lines changed

1 file changed

+5
-6
lines changed

Makefile

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -135,15 +135,14 @@ endif
135135
open_cov:
136136
((open "$(COV_INDEX_FILE)" || xdg-open "$(COV_INDEX_FILE)") &> /dev/null) &
137137

138-
###############################################################################
139-
# Table of Contents
140-
###############################################################################
141-
142138
# When using .ONESHELL, bail on errors.
143139
.SHELLFLAGS = -e
144140

145-
# This contains all markdown files with specifications.
146-
MARKDOWN_FILES = $(wildcard $(SPEC_DIR)/**/*.md) \
141+
# This contains all markdown files that should have table of contents.
142+
MARKDOWN_FILES = $(wildcard $(SPEC_DIR)/*/*.md) \
143+
$(wildcard $(SPEC_DIR)/*/*/*.md) \
144+
$(wildcard $(SPEC_DIR)/_features/*/*.md) \
145+
$(wildcard $(SPEC_DIR)/_features/*/*/*.md) \
147146
$(wildcard $(SSZ_DIR)/*.md)
148147

149148
# Check all files and error if any ToC were modified.

0 commit comments

Comments
 (0)