From 351f3b01ab536c9084ead0ffc4f5cb5671a52e52 Mon Sep 17 00:00:00 2001 From: Guillermo Ramos Date: Thu, 27 Jun 2019 17:38:11 +0200 Subject: Makefile: "make doc" to generate man pages --- doc/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/.gitignore (limited to 'doc/.gitignore') diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..f9f965c --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1 @@ +man1 \ No newline at end of file -- cgit v1.2.3