diff --git a/distrib/scripts/manifests/docsrc.rsp b/distrib/scripts/manifests/docsrc.rsp index e3e9129942..ab37cd8a59 100644 --- a/distrib/scripts/manifests/docsrc.rsp +++ b/distrib/scripts/manifests/docsrc.rsp @@ -27,3 +27,5 @@ contrib/docs/latex/svg/*.tex contrib/docs/latex/svg/*.ini contrib/docs/latex/svg/*.sty +docs/tech/*.txt +docs/tech/*.htm