From 8151825ad5acea8be85c8986cb8e2079419335e7 Mon Sep 17 00:00:00 2001
From: Travis CI <melaasar@gmail.com>
Date: Tue, 16 Jul 2024 14:05:46 -0700
Subject: [PATCH] test

---
 .github/workflows/ci.yml                     | 2 +-
 io.opencaesar.oml.specification/build.gradle | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 70bbbd94..4449b48a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -41,7 +41,7 @@ jobs:
       run: ./gradlew build
 
     - name: Run generateDocs
-      run:  ./gradlew generateDocs
+      run:  ./gradlew generateDocs --console=verbose
       
     - name: Set up Maven
       uses: stCarolas/setup-maven@v5
diff --git a/io.opencaesar.oml.specification/build.gradle b/io.opencaesar.oml.specification/build.gradle
index b0f9f3f9..2d03968b 100644
--- a/io.opencaesar.oml.specification/build.gradle
+++ b/io.opencaesar.oml.specification/build.gradle
@@ -20,6 +20,7 @@ task ecoreToBikeshed(type:io.opencaesar.ecore.bikeshed.Ecore2BikeshedTask, depen
 task generateDocs(dependsOn: ecoreToBikeshed) {
 	doLast {
         if (org.gradle.internal.os.OperatingSystem.current().isWindows()) {
+			exec { commandLine 'list', 'io.opencaesar.oml.specification/build/bikeshed/' }
 			exec { commandLine 'cmd', '/c', 'bikeshed', 'spec', 'build/bikeshed/index.bs' }
 		} else {
 			exec { commandLine 'bikeshed', 'spec', 'build/bikeshed/index.bs' }