6 Commits

Author	SHA1	Message	Date
Sahir Bhatnagar	9cbed31f10	Do not delete CNAME when moving _site files to deploy branch (#25) ... The step in the deploy script that deletes almost all files except for _site/ was causing issues if you have a custom domain name. GitHub pages requires a CNAME, so I added this to the list of files not to delete.	2018-08-23 23:35:02 -04:00
Maruan	0676c85b6e	Add Travis CI (#21) ... * Add Travis CI * Add build status badge	2018-06-19 10:05:48 -04:00
Maruan Al-Shedivat	43df930fba	Ensure everything is committed before deploying	2017-09-26 10:16:08 -04:00
Maruan Al-Shedivat	a47b1acd21	Improve deploy script (addresses #6)	2017-09-08 12:51:25 -04:00
Maruan Al-Shedivat	7c258e74f5	Make deploy script use bunlder	2017-07-01 09:24:04 -07:00
Maruan Al-Shedivat	efb2489b07	Fix baseurl. Add gh-pages deployment script.	2016-07-05 04:50:43 -04:00