src/doc/bootstrap: Generate cygwin.txt, cygwin-optional.txt

sagemath · Mar 12, 2020 · d95e51a · d95e51a
1 parent 47e4395
commit d95e51a
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/src/doc/bootstrap b/src/doc/bootstrap
@@ -23,7 +23,7 @@ mkdir -p "$OUTPUT_DIR"
 
 shopt -s extglob
 
-for SYSTEM in debian fedora; do
+for SYSTEM in debian fedora cygwin; do
     SYSTEM_PACKAGES=$(echo $(${STRIP_COMMENTS} build/pkgs/$SYSTEM.txt))
     for PKG_SCRIPTS in build/pkgs/*; do
         if [ -d $PKG_SCRIPTS ]; then

diff --git a/src/doc/en/installation/cygwin-optional.txt b/src/doc/en/installation/cygwin-optional.txt
diff --git a/src/doc/en/installation/cygwin.txt b/src/doc/en/installation/cygwin.txt