diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/tools/doc_merge.py (renamed from tools/docdump/doc_merge.py) | 0 | ||||
| -rw-r--r-- | doc/tools/locales/es/LC_MESSAGES/makedocs.mo (renamed from tools/docdump/locales/es/LC_MESSAGES/makedocs.mo) | bin | 2321 -> 2321 bytes | |||
| -rw-r--r-- | doc/tools/locales/es/LC_MESSAGES/makedocs.po (renamed from tools/docdump/locales/es/LC_MESSAGES/makedocs.po) | 0 | ||||
| -rw-r--r-- | doc/tools/main.css (renamed from tools/docdump/main.css) | 0 | ||||
| -rw-r--r-- | doc/tools/makedocs.pot (renamed from tools/docdump/makedocs.pot) | 0 | ||||
| -rw-r--r-- | doc/tools/makedocs.py (renamed from tools/docdump/makedocs.py) | 0 | ||||
| -rw-r--r-- | doc/tools/makedoku.py (renamed from tools/docdump/makedoku.py) | 0 | ||||
| -rw-r--r-- | doc/tools/makehtml.py (renamed from tools/docdump/makehtml.py) | 0 | ||||
| -rw-r--r-- | doc/tools/makemd.py (renamed from tools/docdump/makemd.py) | 0 |
9 files changed, 0 insertions, 0 deletions
diff --git a/tools/docdump/doc_merge.py b/doc/tools/doc_merge.py index 872f38ed8..872f38ed8 100644 --- a/tools/docdump/doc_merge.py +++ b/doc/tools/doc_merge.py diff --git a/tools/docdump/locales/es/LC_MESSAGES/makedocs.mo b/doc/tools/locales/es/LC_MESSAGES/makedocs.mo Binary files differindex 8d7ea2689..8d7ea2689 100644 --- a/tools/docdump/locales/es/LC_MESSAGES/makedocs.mo +++ b/doc/tools/locales/es/LC_MESSAGES/makedocs.mo diff --git a/tools/docdump/locales/es/LC_MESSAGES/makedocs.po b/doc/tools/locales/es/LC_MESSAGES/makedocs.po index 82115dd89..82115dd89 100644 --- a/tools/docdump/locales/es/LC_MESSAGES/makedocs.po +++ b/doc/tools/locales/es/LC_MESSAGES/makedocs.po diff --git a/tools/docdump/main.css b/doc/tools/main.css index a76e6bbed..a76e6bbed 100644 --- a/tools/docdump/main.css +++ b/doc/tools/main.css diff --git a/tools/docdump/makedocs.pot b/doc/tools/makedocs.pot index be3220f68..be3220f68 100644 --- a/tools/docdump/makedocs.pot +++ b/doc/tools/makedocs.pot diff --git a/tools/docdump/makedocs.py b/doc/tools/makedocs.py index be57891ab..be57891ab 100644 --- a/tools/docdump/makedocs.py +++ b/doc/tools/makedocs.py diff --git a/tools/docdump/makedoku.py b/doc/tools/makedoku.py index e8207715f..e8207715f 100644 --- a/tools/docdump/makedoku.py +++ b/doc/tools/makedoku.py diff --git a/tools/docdump/makehtml.py b/doc/tools/makehtml.py index 9b9c62f33..9b9c62f33 100644 --- a/tools/docdump/makehtml.py +++ b/doc/tools/makehtml.py diff --git a/tools/docdump/makemd.py b/doc/tools/makemd.py index f85d145d5..f85d145d5 100644 --- a/tools/docdump/makemd.py +++ b/doc/tools/makemd.py |