From 4022b508105b8c48cbd45fb8e6b22bde79773cb6 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Sun, 1 Sep 2019 04:54:08 +0200 Subject: [PATCH] Register the main target --- doc/manual/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/manual/.gitignore diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore new file mode 100644 index 0000000..ef533fc --- /dev/null +++ b/doc/manual/.gitignore @@ -0,0 +1 @@ +/manual.html