diff options
Diffstat (limited to 'build-aux/man-lint.sh')
-rwxr-xr-x | build-aux/man-lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/man-lint.sh b/build-aux/man-lint.sh index dc1e2543..e7dfa98e 100755 --- a/build-aux/man-lint.sh +++ b/build-aux/man-lint.sh @@ -12,7 +12,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <https://www.gnu.org/licenses/>. rv=0 srcdir="$1" ; shift |