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

Webpage-related fixes #1420

Merged
merged 1 commit into from
Nov 7, 2016
Merged

Conversation

bzsolt
Copy link
Member

@bzsolt bzsolt commented Nov 4, 2016

JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com

 * Fix webpage-generator script
   - Generate 'site.github.url' instead of 'site.baseurl' (jerryscript-project#1248)
   - Include 'Reference counting' documentation
 * Remove trailing whitespaces from 05.PORT-API.md

JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
@bzsolt bzsolt added tools Related to the tooling scripts documentation Related to documentation labels Nov 4, 2016
@LaszloLango
Copy link
Contributor

LGTM

@zherczeg
Copy link
Member

zherczeg commented Nov 7, 2016

LGTM

@yichoi yichoi merged commit 4c5ff4a into jerryscript-project:master Nov 7, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Related to documentation tools Related to the tooling scripts
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants