Peter Eisentraut 1f4ec89459 Remove obsolete documentation build tools for Windows ... The scripts and instructions have been nonfunctional at least since PostgreSQL 10 (commit 510074f9f0) and nobody has stepped up to fix them. So right now just remove them until someone wants to resurrect them. Discussion: https://www.postgresql.org/message-id/flat/B74C0219-6BA9-46E1-A524-5B9E8CD3BDB3%40yesql.se		2018-07-13 10:01:04 +02:00
..
src	Remove obsolete documentation build tools for Windows	2018-07-13 10:01:04 +02:00
KNOWN_BUGS	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
MISSING_FEATURES	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
TODO	Change documentation references to PG website to use https: not http:	2017-05-20 21:50:47 -04:00
bug.template	Stamp HEAD as 12devel	2018-06-30 12:47:59 -04:00