Call python with the -tt switch to make mixed tab/space indentation an error

[features.git] / lib / scripts / tex_copy.py

diff --git a/lib/scripts/tex_copy.py b/lib/scripts/tex_copy.py
index 6c634c115e10bac01f3ba1659fc790d1d009eb90..19ff5e479f41f5a169c6f3731f8fa4a13760482c 100644 (file)
--- a/lib/scripts/tex_copy.py
+++ b/lib/scripts/tex_copy.py
@@ -1,4 +1,4 @@
-#! /usr/bin/env python
+#! /usr/bin/env python -tt
 # -*- coding: iso-8859-1 -*-
 
 # file tex_copy.py