From 38838749ba2f4600603c818b152c598cd1c96874 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 11 Dec 2003 23:50:52 +0000
Subject: [PATCH] forgot to add the makefile

---
 utils/commercial/Makefile | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 utils/commercial/Makefile

diff --git a/utils/commercial/Makefile b/utils/commercial/Makefile
new file mode 100644
index 0000000000..a0a6523d9f
--- /dev/null
+++ b/utils/commercial/Makefile
@@ -0,0 +1,14 @@
+
+print-license:
+	split -l 40 LICENSE page-
+	echo "Page (1/3)" > head1.txt
+	echo "" >> head1.txt
+	echo "Page (2/3)" > head2.txt
+	echo "" >> head2.txt
+	echo "Page (3/3)" > head3.txt
+	echo "" >> head3.txt
+	echo "                                                                 ../.." > foot.txt
+	cat head1.txt page-aa foot.txt > page1.txt
+	cat head2.txt page-ab foot.txt > page2.txt
+	cat head3.txt page-ac > page3.txt
+	rm -f page-a? head*.txt foot.txt
-- 
GitLab