From c121ca69ff105519d8f4d5d9c1c9cdec21ac2c24 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Wed, 13 Jan 2021 10:33:04 +0100 Subject: [PATCH] gitignore: add files from generating manuals Change-Id: Ibd0089978a7083fb19638d70358c8ef7d589da9c --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..eb3a5e5 --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +/doc/manuals/build +/doc/manuals/common +/doc/manuals/*.pdf