Skip to content

Doc tweaks#92

Merged
mgeier merged 4 commits into
masterfrom
doc-tweaks
Feb 26, 2019
Merged

Doc tweaks#92
mgeier merged 4 commits into
masterfrom
doc-tweaks

Conversation

@mgeier

@mgeier mgeier commented Feb 21, 2019

Copy link
Copy Markdown
Member

No description provided.

@hagenw

hagenw commented Feb 25, 2019

Copy link
Copy Markdown
Member

Looks good to me. Tested HTML locally, PDF still fails as #90 is not merged.

When I experimented with SVG figures in HTML output some years ago it resulted in heavy CPU usage and long load time if you had several sound fields on one page, but this seems to be no longer a problem.

@mgeier mgeier merged commit d13ff58 into master Feb 26, 2019
@mgeier mgeier deleted the doc-tweaks branch February 26, 2019 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants