Daniel James
|
1bb28036a9
|
Try to make publish-docs a tad more readable
|
2017-09-17 13:44:01 +01:00 |
|
Alan Somers
|
2fad888582
|
Fix bash paths in shebangs
"/bin/bash" is a Linuxism. "/usr/bin/env bash" is portable.
|
2017-07-26 11:18:37 -06:00 |
|
Daniel James
|
9c5e20922b
|
Fetch gh-pages branch, before updating it
|
2017-06-08 02:48:19 +01:00 |
|
Daniel James
|
b64e647a3f
|
Use URL of remote to publish to
|
2017-06-08 02:44:50 +01:00 |
|
Daniel James
|
f8ff225ab9
|
Fully rebuild when publishing
|
2017-05-03 04:17:01 +01:00 |
|
Daniel James
|
ba05b7744e
|
Change name of boost remote to boostorg
|
2017-05-03 04:17:01 +01:00 |
|
Daniel James
|
ff5992120d
|
Stop hardcoding the comitter in publish script
|
2017-03-29 22:09:04 +01:00 |
|
Daniel James
|
393843afe2
|
Add copyright to publish-docs
|
2017-03-29 00:47:21 +01:00 |
|
Daniel James
|
17a7ef45bc
|
Script to publish documentation
|
2017-03-29 00:43:04 +01:00 |
|