# html
**Repository Path**: mirrors_kevinsawicki/html
## Basic Information
- **Project Name**: html
- **Description**: Deliverables of the HTML Working Group
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No
## Statistics
- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-11-23
- **Last Updated**: 2026-05-17
## Categories & Tags
**Categories**: Uncategorized
**Tags**: None
## README
html
====
Deliverables of the HTML Working Group
---
Build instructions:
python scripts/publish.py [html|2dcontext]
output is placed in output/[html|2dcontext]
Spec Editing Cheatsheet
===
Checking out the HTML spec
1. the HTML spec is on GitHub https://github.com/w3c/html
2. there are multiple branches - get master to build the spec
Pull the code from GitHub:
$ git clone git@github.com:w3c/html.git
$ cd html
$ git checkout -b whatwg origin/feature/whatwg
Check what branches you now have:
$ git branch
Configuring git
---
* [Dealing with line endings](https://help.github.com/articles/dealing-with-line-endings)
Installing the necessary software
---
1. you need to have python installed
2. install anolislib:
https://github.com/sideshowbarker/html5forAuthors/tree/master/anolis/anolislib
Get anolislib from Mike’s github repo:
$ git clone git://github.com/sideshowbarker/html5forAuthors.git
$ mkdir ~/opt
$ easy_install -d ~/opt html5lib
$ easy_install -d ~/opt lxml
Build the HTML spec
---
$ cd html
$ git checkout master
$ export PYTHONPATH=~/opt:~/Sites/html5/html5forAuthors/anolis/
$ python scripts/publish.py html
Resulting page is in output/html/single-page.html
Or the multipage version at output/html/spec.html
Cherry pick commits from the WHATWG spec
---
1. the WHATWG spec is developed in SVN at the WHATWG
2. there is a git clone of it on GitHub
https://github.com/w3c/html/tree/feature/whatwg
3. we cherry-pick commits from the WHATWG spec into the html spec
Checkout the WHATWG spec:
$ git checkout whatwg
Find out commit differences to html branch:
$ git cherry master
Find a commit that you want to apply, get it’s SHA:
$ git log
Show the SHA commit e.g.:
$git show 56446c4536af1ec5b39bde03b402d0772625fd92
Checkout the html spec:
$ git checkout master
Cherry pick the commit selected from before:
$ git cherry-pick -x 56446c4536af1ec5b39bde03b402d0772625fd92
If you want to edit the commit:
$ git cherry-pick -x -e 56446c4536af1ec5b39bde03b402d0772625fd92
Show changes to GitHub:
$ git diff origin
Create a new feature branch:
---
[make sure your .gitconfig defaults push to upstream]
$ git checkout master
$ git branch feature/blah
$ git checkout feature/blah
$ git push --set-upstream origin feature/blah
Merging a feature branch:
---
You should not use the GitHub pull request merge feature, but instead rebase locally and push (to avoid a messy merge and get a linear history):
$ git checkout feature/blah
$ git rebase master
Test everything still works, then push to GitHub:
$ git push -f
Then merge on master:
$ git checkout master
$ git merge feature/blah
$ git push
If you want to delete the branch, too, remove it both on local and GitHub (the issue with the pull request will continue to exist):
$ git branch -d feature/blah
$ git push origin :feature/blah