Added Github css style for pandoc.

This commit is contained in:
Erik C. Thauvin 2016-06-30 12:49:56 -07:00
parent 90dd1dfc5d
commit 7998e44939
3 changed files with 649 additions and 197 deletions

View file

@ -216,7 +216,7 @@ task release(dependsOn: ['deploy', 'wrapper']) << {
task pandoc(type: Exec) {
group = 'Documentation'
def pandoc_args = ['--from', 'markdown_github', '--to', 'html5', '-s', '-o', 'README.html', 'README.md']
def pandoc_args = ['--from', 'markdown_github', '--to', 'html5', '-s', '-c', 'github-pandoc.css', '-o', 'README.html', 'README.md']
if (Os.isFamily(Os.FAMILY_WINDOWS))
{
commandLine(['cmd', '/c', 'pandoc'] + pandoc_args)