From 8f7f755d9540ad8673ff93943a03ad977f35c881 Mon Sep 17 00:00:00 2001
From: Kazuhiko Kikuchi <kazuk.dll@kazuk.jp>
Date: Thu, 3 Sep 2020 10:19:08 +0900
Subject: [PATCH] fix `sudo make install` failed on Ubuntu 20.04
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

```
kazuk@kazuk-ubuntu2004:~/Spin$ sudo make install
cd Src; make install
make[1]: ディレクトリ '/home/kazuk/Spin/Src' に入ります
cp		 spin /usr/local/bin/spin
cp		 ../Man/spin.1 /usr/local/share/man/man1/spin.1
cp: 通常ファイル '/usr/local/share/man/man1/spin.1' を作成できません: そのようなファイルやディレクトリはありません
make[1]: *** [makefile:44: install] エラー 1
make[1]: ディレクトリ '/home/kazuk/Spin/Src' から出ます
make: *** [makefile:5: install] エラー 2
```

by default , Ubuntu 20.04 doesn't have `/usr/local/share/man/man1`
then need `mkdir /usr/local/share/man/man1`
---
 Src/makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Src/makefile b/Src/makefile
index 64b33e5..d75e946 100644
--- a/Src/makefile
+++ b/Src/makefile
@@ -27,6 +27,7 @@ YACC?=yacc		# on Solaris: /usr/ccs/bin/yacc
 YFLAGS=-v -d 		# creates y.output and y.tab.h
 DESTDIR?=/usr/local
 INSTALL?=cp		# on linux: install -D
+MKDIR=mkdir
 
 SPIN_OS= spinlex.o sym.o vars.o main.o msc_tcl.o \
 	mesg.o flow.o sched.o run.o pangen1.o pangen2.o \
@@ -41,6 +42,7 @@ spin:	makefile $(SPIN_OS) $(TL_OS) spin.o
 
 install: spin
 	$(INSTALL) spin $(DESTDIR)/bin/spin
+	$(MKDIR) $(DESTDIR)/share/man/man1
 	$(INSTALL) ../Man/spin.1 $(DESTDIR)/share/man/man1/spin.1
 
 spin.o:	makefile spin.y