2020-08-08 | Mark Wooding | Makefile: Gather together the TeX machinery. | blob | commitdiff | raw |
2020-08-08 | Mark Wooding | Makefile (upload): Rebuild files before uploading them! | blob | commitdiff | raw | diff to current |
2020-08-08 | Mark Wooding | Makefile: Make a list of files to be uploaded. | blob | commitdiff | raw | diff to current |
2020-08-08 | Mark Wooding | Makefile (upload): Also upload the old `.org' file. | blob | commitdiff | raw | diff to current |
2020-08-08 | Mark Wooding | Makefile (upload): Use `rsync', because it wins. | blob | commitdiff | raw | diff to current |
2020-08-08 | Mark Wooding | Initial revision. | blob | commitdiff | raw | diff to current |