diff options
| author | Carl Hetherington <cth@carlh.net> | 2023-01-08 22:26:18 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2023-01-08 22:26:18 +0100 |
| commit | d5685e88bb53513334df8f6cbb622bfd6e39a645 (patch) | |
| tree | 3da431c8477f9ecc94dfb9342e5dddf2f6e4ded7 | |
| parent | e572ffd2e0bdc59cd00103a242d290d89e039c93 (diff) | |
Specify python3 for pptex.py
| -rwxr-xr-x | doc/manual/pptex.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/pptex.py b/doc/manual/pptex.py index 91425a060..fade5943c 100755 --- a/doc/manual/pptex.py +++ b/doc/manual/pptex.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/python3 # Farcical script to remove newlines after # \begin{sidebar} in dblatex' .tex output; |