From 468d917c1b41a3ed91c00a2e721efbb51fc0938c Mon Sep 17 00:00:00 2001 From: Paul Duncan Date: Sat, 14 Oct 2023 23:34:35 -0400 Subject: Makefile, .gitignore: add "doc" target, ignore generated api documentation --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 96476ba..a0aeaa5 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,5 @@ test-sha3 sha3 *.o libsha3.so +html +latex -- cgit v1.2.3