remove extra .txt extension from downloaded filed

.gitignore

@@ -6,12 +6,12 @@ cloudflare_ips-v4.txt
 cloudflare_ips-v6.txt
 IncludedCACertificateReportPEMCSV.csv
 majestic_million.csv
-ocsp_crl-hostnames.txt.txt
-ocsp_crl-ipv4.txt.txt
-ocsp_crl-ipv6.txt.txt
-ocsp_ocsp-hostnames.txt.txt
-ocsp_ocsp-ipv4.txt.txt
-ocsp_ocsp-ipv6.txt.txt
+ocsp_crl-hostnames.txt
+ocsp_crl-ipv4.txt
+ocsp_crl-ipv6.txt
+ocsp_ocsp-hostnames.txt
+ocsp_ocsp-ipv4.txt
+ocsp_ocsp-ipv6.txt
 PublicAllIntermediateCertsWithPEMCSV.csv
 top500.domains.csv
 top500.pages.csv

tools/generate-crl-ip-list.py

@@ -34,7 +34,7 @@ if __name__ == '__main__':
 
     for uri in uri_list:
         url = crl_ip_base_url + uri
-        file = 'ocsp_{}.txt'.format(uri)
+        file = 'ocsp_{}'.format(uri)
         download_to_file(url, file)
         to_process.append(file)