vndb/manned
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove HTML-formatted man pages

Browse source
This commit is contained in:
Yorhel 2016-10-03 20:04:23 +02:00
parent aa94548c71
commit 7e17853326
3 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
sql/update-2016-10-03.sql Normal file
View file

@ -0,0 +1,4 @@
-- This check is not consistent with the HTML-check in util/add_dir.pl, but it
-- happens to match exactly the same man pages currently.
DELETE FROM man WHERE section = 'html';
DELETE FROM contents c WHERE NOT EXISTS(SELECT 1 FROM man m WHERE m.hash = c.hash);