edgent-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From ddebrunner <...@git.apache.org>
Subject [GitHub] incubator-edgent-website pull request #89: [EDGENT-327] Use local Javadoc UR...
Date Mon, 09 Jan 2017 17:30:34 GMT
Github user ddebrunner commented on a diff in the pull request:

    --- Diff: build.sh ---
    @@ -1,6 +1,7 @@
     set -e
     cd site
     jekyll build -d ../content_tmp
    +sed -i "" "/^@import/d; s/'DejaVu Sans',//g; s/'DejaVu Sans Mono',//g; s/'DejaVu Serif',//g"
    --- End diff --
    Good to have a comment here as to why this (sed) is being done.

If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastructure@apache.org or file a JIRA ticket
with INFRA.

View raw message