chore(fix): update version

This commit is contained in:
nopeitsnothing
2024-07-26 21:26:59 -04:00
parent 8da97cfed9
commit de49720f7b
11 changed files with 127 additions and 144 deletions

View File

@@ -27,6 +27,7 @@ PANDOC_OPTIONS=--smart --standalone
SOURCE_DOCS := $(wildcard *.md)
# converts: e.g., verify.md -> verify.html
EXPORTED_DOCS=\
$(SOURCE_DOCS:.md=.html) \
$(SOURCE_DOCS:.md=.pdf) \
@@ -65,7 +66,7 @@ clean:
sigs:
mkdir -p export
./make.sh
./sigs.sh
# target: documentation