2021-08-10 15:41:18 +02:00
|
|
|
# CHAPTER 15. PDF and JSON
|
2021-07-26 20:50:33 +02:00
|
|
|
|
2021-08-10 15:41:18 +02:00
|
|
|
def outputJSON(filename, parse_content, no_stream_data, pdf):
|
|
|
|
"""outputJSON(filename, parse_content, no_stream_data, pdf) outputs a PDF
|
|
|
|
in JSON format to the given filename. If parse_content is True, page
|
|
|
|
content is parsed. If no_stream_data is True, all stream data is suppressed
|
|
|
|
entirely."""
|