# HG changeset patch
# User wenzelm
# Date 1689095907 -7200
# Node ID 6872c8d95ebc2799c95557051403eda1459cb066
# Parent  fc62462252833146d6ee0d0042b1b3dc2b1e8d4d
suppress bad file, which does not work on regular Windows;

diff -r fc6246225283 -r 6872c8d95ebc src/Pure/Admin/component_cygwin.scala
--- a/src/Pure/Admin/component_cygwin.scala	Tue Jul 11 18:30:56 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Tue Jul 11 19:18:27 2023 +0200
@@ -51,6 +51,8 @@
 
         (cygwin + Path.explode("Cygwin.bat")).file.delete
 
+        Isabelle_System.bash("rm -f cygwin/usr/share/man/man1/:.1.gz", cwd = tmp_dir.file).check
+
         val archive =
           target_dir + Path.explode("cygwin-" + Date.Format.alt_date(Date.now()) + ".tar.gz")
         Isabelle_System.gnutar("-czf " + File.bash_path(archive) + " cygwin", dir = tmp_dir).check