Remove unused dummy.xml

This commit is contained in:
Xi Ruoyao 2023-03-01 02:14:55 +08:00
parent c5b59acc7d
commit 33abe04c39
No known key found for this signature in database
GPG Key ID: ACAAD20E19E710E3

View File

@ -1,15 +0,0 @@
<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE chapter PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
"http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
]>
<sect2>
<title>Dummy xml file</title>
<!-- Used in Makefile to avoid warning for first build of
general/prog/python-dependencies/pythonhosted.xml
-->
<para>
This is only used if pythonhosted.xml does not
exist. It is used to prevent a warning if the generated
pythonhosted.xml is not yet created.
</para>
</sect2>