diff options
| author | David Thompson <dthompson2@worcester.edu> | 2017-01-23 19:45:05 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2017-01-23 19:45:05 -0500 |
| commit | 6568361bd3f33c43879d57047437a34083b9c12d (patch) | |
| tree | 36037254043ee81abd8aa51781a333fa96c38147 /website/manual/GNU-Free-Documentation-License.html | |
| parent | 970dc045394a3c37c657d56f6d05c9d36998c9a1 (diff) | |
Add 'make publish' target.
Diffstat (limited to 'website/manual/GNU-Free-Documentation-License.html')
0 files changed, 0 insertions, 0 deletions