diff --git a/.ignore b/.ignore new file mode 100644 index 000000000..65290aeab --- /dev/null +++ b/.ignore @@ -0,0 +1,6 @@ +# Output generated from src/doc/man +# +# The goal is to help people find the right file to edit +src/doc/man/generated_txt +src/doc/src/commands +src/etc/man