polyml: remove README.html

[Thomas Klausner <wiz%gatalith.at@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Thomas Klausner <wiz%gatalith.at@localhost>
Pushed By:	wiz
Date:		Sun Mar 5 08:19:08 2023 +0100
Changeset:	d7af069fd4a64c562ccef38721562b8c1082c6aa

Removed Files:
	polyml/README.html

Log Message:
polyml: remove README.html

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=d7af069fd4a64c562ccef38721562b8c1082c6aa

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 polyml/README.html | 1 -
 1 file changed, 1 deletion(-)

diffs:
diff --git a/polyml/README.html b/polyml/README.html
deleted file mode 120000
index 64233a9e95..0000000000
--- a/polyml/README.html
+++ /dev/null
@@ -1 +0,0 @@
-index.html
\ No newline at end of file