From 6cad09ec9c801e90d41f53ebcd673ef89050cc86 Mon Sep 17 00:00:00 2001 From: dec05eba Date: Fri, 11 Feb 2022 17:41:33 +0100 Subject: Check if file to read is really a file --- doc/doc_extract.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/doc_extract.py b/doc/doc_extract.py index 3331ae0..16f7732 100755 --- a/doc/doc_extract.py +++ b/doc/doc_extract.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python2 +#!/usr/bin/env python3 import sys import os -- cgit v1.2.3