diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-28 22:54:22 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-28 22:55:52 -0400 |
commit | c8c9c69f390ea9cf8e700515757d18fc08d8c4fe (patch) | |
tree | ea5ddc4936137eed9c510ca0ea786240da2de84a /make-man-index.py | |
parent | 5e75606a419059e6fbd8705b0b60c183c8aca246 (diff) |
build-sys: remove papersize option from sphinx
We don't use it currently for anything (no latex output),
but it was messing up stuff if /etc/papersize had comments.
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions