chiark / gitweb /
drwho.tex: Include Dodo's full name.
[drwho] / Makefile
2021-12-15 Mark WoodingMakefile: Print the tag correctly when doing silent...
2020-08-08 Mark WoodingMakefile: Destroy the evidence that I cut-and-pasted...
2020-08-08 Mark WoodingMakefile: Gather together the TeX machinery.
2020-08-08 Mark WoodingMakefile (upload): Rebuild files before uploading them!
2020-08-08 Mark WoodingMakefile: Make a list of files to be uploaded.
2020-08-08 Mark WoodingMakefile (upload): Also upload the old `.org' file.
2020-08-08 Mark WoodingMakefile (upload): Use `rsync', because it wins.
2020-08-08 Mark WoodingInitial revision.