diff options
author | Yorhel <git@yorhel.nl> | 2016-10-03 20:04:23 +0200 |
---|---|---|
committer | Yorhel <git@yorhel.nl> | 2016-10-03 20:04:23 +0200 |
commit | 7e17853326f89adf5f812b7ac28667930067e32c (patch) | |
tree | 0fb0e39c04a1d39dfccaece15f137743c2e44cb7 /sql | |
parent | aa94548c71fbd285941ddc3b209387d02a1978a8 (diff) |
Remove HTML-formatted man pages
Diffstat (limited to 'sql')
-rw-r--r-- | sql/update-2016-10-03.sql | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sql/update-2016-10-03.sql b/sql/update-2016-10-03.sql new file mode 100644 index 0000000..68605d2 --- /dev/null +++ b/sql/update-2016-10-03.sql @@ -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); |