Update man pages and add license text

.gitignore

@@ -2,3 +2,4 @@
 /yosys_0.7-2.debian.tar.xz
 /yosys-0.8.tar.gz
 /yosys-0.9.tar.gz
+/yosys_0.9-1.debian.tar.xz

sources

@@ -1,2 +1,2 @@
 SHA512 (yosys-0.9.tar.gz) = 6ae0f822ca0e3ec749773dae89e948488b698aaa149e73f04604dd899ac403a3073645f0e27382801f5f1a9483d87ef4066fde5dc797181eff06684de7a5b138
-SHA512 (yosys_0.7-2.debian.tar.xz) = a1ab0c600a1e7d22a121dcb9baaf41c40b4c5ddfe69d75c26bcdd45c17132fe218c08ad0e605f6cda26b3f00b62cc402382481eb6ef8186862b72bcc4ae70582
+SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc

yosys.spec

@@ -7,7 +7,7 @@
 
 Name:           yosys
 Version:        0.9
-Release:        2%{?dist}
+Release:        3%{?dist}
 #Release:        1.1.%%{snapdate}git%%{shortcommit0}%%{?dist}
 Summary:        Yosys Open SYnthesis Suite, including Verilog synthesizer
 License:        ISC and MIT
@@ -18,7 +18,7 @@ Source0:        https://github.com/YosysHQ/%{name}/archive/%{name}-%{version}.ta
 Source1:        https://github.com/mdaines/viz.js/releases/download/0.0.3/viz.js
 
 # man pages written for Debian:
-Source2:        http://http.debian.net/debian/pool/main/y/yosys/yosys_0.7-2.debian.tar.xz
+Source2:        http://http.debian.net/debian/pool/main/y/yosys/yosys_0.9-1.debian.tar.xz
 # requested that upstream include those man pages:
 #   https://github.com/YosysHQ/yosys/issues/278
 
@@ -98,18 +98,7 @@ cp %{SOURCE1} .
 %setup -q -T -D -a 2 -n %{name}-%{name}-%{version}
 #%%setup -q -T -D -a 2 -n %%{name}-%%{commit0}
 
-# Remove shebang from Python files that aren't executable,
-# without changing timestamps
-# requested that upstream remove shebang:
-#   https://github.com/YosysHQ/yosys/issues/279
-for f in backends/smt2/smtio.py
-do
-    sed '/#!\/usr\/bin\/env python3/d' $f >$f.new
-    touch -r $f $f.new
-    mv $f.new $f
-done
-
-# In all other Python shebang lines, remove use of /usr/bin/env,
+# In all Python shebang lines, remove use of /usr/bin/env,
 # without changing timestamps
 for f in `find . -name \*.py`
 do
@@ -158,6 +147,7 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
 %files
 # license texts requested upstream:
 #   https://github.com/YosysHQ/yosys/issues/263
+%license COPYING
 %doc README.md
 %{_bindir}/%{name}
 %{_bindir}/%{name}-filterlib
@@ -179,6 +169,10 @@ make test ABCEXTERNAL=%{_bindir}/abc SEED=314159265359
 
 
 %changelog
+* Sun Apr 19 2020 Marcus A. Romer <aimylios@gmx.de> - 0.9-3
+- Update man pages from Debian
+- Add license text
+
 * Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild