diff --git a/tools/sync-projects.sh b/tools/sync-projects.sh index 177f7429de..ce02fe0c14 100755 --- a/tools/sync-projects.sh +++ b/tools/sync-projects.sh @@ -90,7 +90,6 @@ case "$PROJECT_DIR" in security-doc) copy_rst common-rst copy_rst_trans common-rst - copy_glossary_xml "glossary" "security-guide" "static" ;; *) echo "$PROJECT_DIR not handled"