13 Commits

Include renames

Author	SHA1	Message	Date
Mike Brady	7f279efa3d	Update BUILD.md	2022-11-18 22:50:21 +00:00
Mike Brady	de44134991	Add another file to look for and delete when cleaning up.	2022-11-03 12:02:10 +00:00
Mike Brady	491cbf6b5c	xmltoman is no longer needed unless you are changing the man entry -- the man file is part of the repository.	2022-10-10 22:44:03 +01:00
Mike Brady	e4bb1447af	Update BUILD.md	2022-10-10 15:00:04 +01:00
Mike Brady	4726c4d956	Update BUILD.md	2022-10-07 17:10:45 +01:00
Mike Brady	dea88acc4c	Simplify some URLs	2022-09-26 19:02:30 +01:00
Mike Brady	cda00e9530	Update BUILD.md	2022-09-26 17:56:02 +01:00
Mike Brady	40654624fb	Update BUILD.md	2022-09-19 10:04:41 +01:00
Mike Brady	9f891b2d1e	Update BUILD.md	2022-09-19 10:03:42 +01:00
Mike Brady	0423dde9df	Update BUILD.md	2022-09-19 10:01:26 +01:00
Mike Brady	a171f1b6b4	Update BUILD.md	2022-09-19 10:00:12 +01:00
Mike Brady	ae2d22af1b	Update BUILD.md	2022-07-25 14:52:39 +01:00
Mike Brady	e78a88b64a	Big documentation reorganisation. Comments wlecome!	2022-07-25 14:44:57 +01:00