diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index cf1e461..5036116 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -31,9 +31,9 @@ clean: language: language.doc language.doc: $(wildcard ../src/translator*.h) maintainers.txt language.tpl translator.py - python translator.py + $(PYTHON) translator.py config.doc: ../src/config.xml ../src/configgen.py - python ../src/configgen.py -doc ../src/config.xml > config.doc + $(PYTHON) ../src/configgen.py -doc ../src/config.xml > config.doc FORCE: |