ls -R Doc

hugovk · Oct 20, 2024 · 4bd94a9 · 4bd94a9
1 parent ed24702
commit 4bd94a9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Doc/Makefile b/Doc/Makefile
@@ -55,6 +55,7 @@ build:
 # Look first for a Misc/NEWS file (building from a source release tarball
 # or old repo) and use that, otherwise look for a Misc/NEWS.d directory
 # (building from a newer repo) and use blurb to generate the NEWS file.
+	ls -R Doc
 	@if [ -f  ../Misc/NEWS ] ; then \
 		echo "Using existing Misc/NEWS file"; \
 		cp ../Misc/NEWS build/NEWS; \