From 8d1b59c1a1ef7ca2826a8d195b5858872126b80a Mon Sep 17 00:00:00 2001 From: Yuri Goldfeld Date: Tue, 9 Jan 2024 22:33:20 -0800 Subject: [PATCH] Ah, these .gitignore changes need to be propagated to us too. --- doc/.gitignore | 5 +++++ doc/ipc_doc/.gitignore | 2 -- 2 files changed, 5 insertions(+), 2 deletions(-) create mode 100644 doc/.gitignore delete mode 100644 doc/ipc_doc/.gitignore diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 000000000..9b968cc72 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,5 @@ +# This is created by a staging script which is optionally invoked (stage_generated_docs.sh) +# but should not be checked-in. (The nearby similarly-named dir can be checked-in but +# as of this writing only by an automated workflow and only in a branch (like GitHub `main`) +# intended for at least read-only consumption as opposed to merely development.) +/*_doc.tgz diff --git a/doc/ipc_doc/.gitignore b/doc/ipc_doc/.gitignore deleted file mode 100644 index aeb115089..000000000 --- a/doc/ipc_doc/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -# This shouldn't be checked-in (but the nearby related .tgz should be; see root README.md). -/generated/**