maint: add manual subdirectory to doc/.gitignore For “make web-manual-update”
diff --git a/doc/.gitignore b/doc/.gitignore line changes: +1/-0 index 1cae109..6e95f6d --- a/doc/.gitignore +++ b/doc/.gitignore
@@ -1,3 +1,4 @@ /version.texi /gendocs_template /gendocs_template_min +/manual/ \ No newline at end of file