summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2021-09-14 12:23:24 +0200
committerGitHub <noreply@github.com>2021-09-14 12:23:24 +0200
commit83a4588893dc1cde7d890a2461ac8af6efbf8ad7 (patch)
tree3fcf1326f538759cb4c4b3b042eeb136bce5bf97
parent0648ae2acb3fae84f2cc49e15edb345ccef6cad5 (diff)
parentd8b824b3249a6e442c580cdc231760eb86a2dcee (diff)
[ci skip] Merge pull request #6054 from gphg/attributes
export-ignore user_guide_src/
-rw-r--r--.gitattributes6
1 files changed, 2 insertions, 4 deletions
diff --git a/.gitattributes b/.gitattributes
index a4296d591..b4f0b6cbb 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -18,8 +18,6 @@ readme.rst
tests/codeigniter/ export-ignore
tests/travis/ export-ignore
-# User Guide Source Files
-user_guide_src
-
-# User Guide Compiled Files
+# User Guide source files and compiled files
+user_guide_src export-ignore
user_guide export-ignore