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/**