diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2019-10-20 12:37:45 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2019-10-20 13:35:04 +0200 |
commit | 115018ff15528f51235a8ac45c4261b7bd6a8173 (patch) | |
tree | 78e49f9b80c468a88ebd31d401369d818a736c70 /doc/manual.xml | |
parent | 95dfbe2d632b71a72634d2d65e3f738f500ee5ce (diff) |
doc: merge package notes and package-specific notes
Maybe there was an idea behind this separation, but looking at the contents I don't see any reason for these being separate.
Diffstat (limited to 'doc/manual.xml')
-rw-r--r-- | doc/manual.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/manual.xml b/doc/manual.xml index 7015e18d1e97b..1083af3cdd841 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -23,7 +23,6 @@ <part> <title>Languages, frameworks and packages</title> <xi:include href="languages-frameworks/index.xml" /> - <xi:include href="package-specific-user-notes.xml" /> <xi:include href="package-notes.xml" /> </part> <part> |