diff options
author | Miguel de Icaza <miguel@gnome.org> | 2017-08-19 03:05:32 +0300 |
---|---|---|
committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2017-08-19 03:05:32 +0300 |
commit | fd1d5997b064590330e23d86adc6075826ddcc77 (patch) | |
tree | 1b8ccb57baad83983ef4b53c088bf05226e87fe8 /docs | |
parent | d3adf63e13374af9f6948ad0f50d4e6fd8955bb3 (diff) |
Remove lingering bits from removed prj2make tool (#5405)
Diffstat (limited to 'docs')
-rw-r--r-- | docs/mono-tools.config | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/mono-tools.config b/docs/mono-tools.config index b8a850b078f..f83f62df429 100644 --- a/docs/mono-tools.config +++ b/docs/mono-tools.config @@ -37,7 +37,6 @@ <manpage name="mono-xmltool(1)" page="../man/mono-xmltool.1" /> <manpage name="mozroots(1)" page="../man/mozroots.1" /> <manpage name="permview(1)" page="../man/permview.1" /> - <manpage name="prj2make(1)" page="../man/prj2make.1" /> <manpage name="resgen(1)" page="../man/resgen.1" /> <manpage name="secutil(1)" page="../man/secutil.1" /> <manpage name="setreg(1)" page="../man/setreg.1" /> |