make cover

2022-09-04 14:00:48 -06:00 · 2022-09-04 14:00:48 -06:00 · 104c5ee522
parent 735ce59c91
commit 104c5ee522
1 changed files with 6 additions and 0 deletions
--- a/BUILD.md
+++ b/BUILD.md
@ -41,6 +41,12 @@ Run the build script to make a PDF:
 make
 ```

+To just make a cover:
+
+```
+make cover
+```
+
 To clean:

 ```