Fix a license typo in the Makefile

ott-lang · Jun 18, 2020 · 58e55ec · 58e55ec
1 parent 7d157be
commit 58e55ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -52,7 +52,7 @@ ott.install : built_doc/*
 	cp ott.install.nodoc ott.install
 	echo "doc : [" >> ott.install
 	echo "\"README.md\" { \"README.md\" }" >> ott.install
-	echo "\"LICENSE\" { \"LICENSE\" }" >> ott.install
+	echo "\"LICENCE\" { \"LICENSE\" }" >> ott.install
 	echo "\"built_doc/top2.pdf\" { \"doc/ott_manual.pdf\" }" >> ott.install
 	echo "\"built_doc/top2.html\" { \"doc/ott_manual.html\" }" >> ott.install
 	echo $(patsubst %, "\"%\"", $(wildcard built_doc/*.png)) >> ott.install