diff options
| -rw-r--r-- | DOCS/xml/README.maintainers | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/DOCS/xml/README.maintainers b/DOCS/xml/README.maintainers index c39b5dc4ff..73114f2359 100644 --- a/DOCS/xml/README.maintainers +++ b/DOCS/xml/README.maintainers @@ -8,8 +8,6 @@ IMPORTANT: Do NOT place sensitive files under 'HTML'! It is for generated documentation only. The whole directory tree is wiped out by the Makefile when running 'make distclean' or 'make clean'. - Also, subdirectories are wiped out one by one before - creating the HTML files. Each subdirectory must have a Makefile. Its purpose is to include the toplevel Makefile.inc file (with the rules to build the docs) |