make upgrade: Clean out cat1 directory from texinfo pages
authorJohn Marino <draco@marino.st>
Fri, 3 Apr 2015 14:49:34 +0000 (16:49 +0200)
committerJohn Marino <draco@marino.st>
Fri, 3 Apr 2015 14:49:34 +0000 (16:49 +0200)
commitcc305bb6600cc66571a27f6b2bd74325a1a0f23f
tree3c029a46ef0a88d11eccf850d3323dfd1bd40e3c
parent086b69d307ad34d5d477f069bb76df0b80026c8f
make upgrade: Clean out cat1 directory from texinfo pages
Makefile_upgrade.inc