From a3f7fb53bb04c5b4237505fa3b59c81d0e632db5 Mon Sep 17 00:00:00 2001 From: Eitan Adler Date: Wed, 28 Nov 2012 18:06:21 +0000 Subject: Document tool which converts from old style header to new style Feature safe: yes --- Tools/scripts/README | 1 + 1 file changed, 1 insertion(+) (limited to 'Tools/scripts') diff --git a/Tools/scripts/README b/Tools/scripts/README index 3811d40bd189..09ee8ce51055 100644 --- a/Tools/scripts/README +++ b/Tools/scripts/README @@ -17,6 +17,7 @@ checknewvers - checks for availability for a newest version of distfiles on chkorigin.sh - checks all ports in the tree for a wrong PKGORIGIN. Run this tool after every repocopy. close-pr - a slightly hacked version of edit-pr(1) to quickly close PR. +convert-makefile-header.pl - converts old style headers to modern one-line version de-pkg-comment - converts pkg-comment to COMMENT (will be obsoleted when the mass conversion is finished) dialogwrapper.sh - a wrapper for dialog(1) which provides extra features -- cgit v1.2.3