Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Small tweeks to docs #1349

Merged
merged 6 commits into from Oct 30, 2018
Merged

Small tweeks to docs #1349

merged 6 commits into from Oct 30, 2018

Conversation

jenshnielsen
Copy link
Collaborator

Coming from #1263

  1. Add ccs to make the maximum column width slightly larger
  2. Correct a slash in the make.bat file
  3. Build docs with verbose on ci. This avoids line rewriting that doesn't look correct anyway and makes the output easier to read
  4. Remove an old unused patch to auto summary. It does not seem to work correctly anyway and gives lots of warnings

@jenshnielsen
Customize rdt theme to allow slightly wider content pane
3662699 
The default is 800px
@jenshnielsen
correct slash on windows
8939f43
@jenshnielsen
remove this hack it was not used anyway
ed8b1a2
@jenshnielsen
make sphinx output more verbose
f102ca8 
This prevents line rewriting that does not work well in the ci anyway and makes it easier to see where a warning is comming from
@jenshnielsen
Correct typo
cda84ab
@codecov
Copy link

codecov bot commented Oct 29, 2018 •
edited

Codecov Report

Merging #1349 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1349   +/-   ##
=======================================
  Coverage   73.44%   73.44%           
=======================================
  Files          79       79           
  Lines        9086     9086           
=======================================
  Hits         6673     6673           
  Misses       2413     2413

@jenshnielsen jenshnielsen merged commit 777d8e6 into microsoft:master Oct 30, 2018
@jenshnielsen jenshnielsen deleted the docs_tweeks branch October 30, 2018 08:13
giulioungaretti pushed a commit that referenced this pull request Oct 30, 2018
Generated gh-pages for commit 777d8e6
2eaec71 
Merge: 0bf01a9 3d789b6
Author: Jens Hedegaard Nielsen <jenshnielsen@gmail.com>

    Merge pull request #1349 from jenshnielsen/docs_tweeks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@astafan8 astafan8 astafan8 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@jenshnielsen @astafan8