diff options
| author | Alessio Sergi <al3hex@gmail.com> | 2016-03-12 15:34:33 +0100 |
|---|---|---|
| committer | Alessio Sergi <al3hex@gmail.com> | 2016-03-12 15:43:43 +0100 |
| commit | 6f1b0fd0ee0b3c0502023391c84b67bda5fa5e9a (patch) | |
| tree | 0b93d7ed896e31c0699dfbd0a5732da6603a8751 /docs/README.txt | |
| parent | fcfdc75f7418fb707b3c8324dd2a40e9f55a2297 (diff) | |
Fix Sphinx doc/man generation
Diffstat (limited to 'docs/README.txt')
| -rw-r--r-- | docs/README.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/README.txt b/docs/README.txt index c41f1a76..06491bcd 100644 --- a/docs/README.txt +++ b/docs/README.txt @@ -19,4 +19,4 @@ Then build the HTML documentation: and the man page: - make man + LC_ALL=C make man |