How hard can it be to concatenate files with newlines between them?

This hard. Now add '#'s to those headers...
2022-03-23 11:45:36 -07:00
parent 0e79ba480f
commit 18b7c1f6a9
3 changed files with 548 additions and 360 deletions
@@ -7,4 +7,7 @@ all: Functor-Reference.md


 Functor-Reference.md: HEADER.md $(FUNCDOCS)
-	cat HEADER.md $(FUNCDOCS) > Functor-Reference.md
+	awk 'FNR==1 && NR > 1 {print ""}1' HEADER.md $(FUNCDOCS) > Functor-Reference.md
+
+# https://stackoverflow.com/questions/8183191/concatenating-files-and-insert-new-line-in-between-files
+# WTF would we do w/o the Internet?  Know our tools well?