diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2015-12-13 00:01:04 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2015-12-13 00:01:04 +0100 |
| commit | 410e418aea16cc1c07249a9a64d3defcb8990866 (patch) | |
| tree | adec28ca65ff39bdc59ed26b427896d3a240b54e /doc/tools/doc_merge.py | |
| parent | aeb5ea59340f91ae445330c95429f903a8f20e8a (diff) | |
Add a Makefile to generate classes doc in various formats
All the generated documentation is put in doc/_build.
Diffstat (limited to 'doc/tools/doc_merge.py')
| -rw-r--r-- | doc/tools/doc_merge.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/tools/doc_merge.py b/doc/tools/doc_merge.py index 872f38ed87..6cc7019324 100644 --- a/doc/tools/doc_merge.py +++ b/doc/tools/doc_merge.py @@ -1,3 +1,6 @@ +#!/usr/bin/python +# -*- coding: utf-8 -*- + import sys import xml.etree.ElementTree as ET |