From 9377c637679787fc7a95a39196704f2d80680743 Mon Sep 17 00:00:00 2001 From: Thomas Vander Stichele Date: Fri, 3 May 2002 15:12:23 +0000 Subject: [PATCH] use python2 at all costs Original commit message from CVS: use python2 at all costs --- docs/devhelp/Makefile.am | 5 ++++- docs/devhelp/html2xml.py | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/devhelp/Makefile.am b/docs/devhelp/Makefile.am index 2fb2bfb..8c00339 100644 --- a/docs/devhelp/Makefile.am +++ b/docs/devhelp/Makefile.am @@ -1,9 +1,12 @@ EXTRA_DIST=html2xml.py -all-am: devhelp +all-am: chmod devhelp devhelp: gstreamer.devhelp gstreamer-libs.devhelp +chmod: + chmod +x html2xml.py + gstreamer.devhelp: cd ../gst && make sh html2xml.py ../gst/html diff --git a/docs/devhelp/html2xml.py b/docs/devhelp/html2xml.py index aa425a1..acb89d4 100644 --- a/docs/devhelp/html2xml.py +++ b/docs/devhelp/html2xml.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/python2 import formatter import htmllib import os -- 2.7.4