Statistics
| Branch: | Tag: | Revision:

root / autotools / check-man-dashes @ 178ad717

History | View | Annotate | Download (880 Bytes)

1 c55cc346 Iustin Pop
#!/bin/bash
2 c55cc346 Iustin Pop
#
3 c55cc346 Iustin Pop
4 67c15d8b Iustin Pop
# Copyright (C) 2012, 2013 Google Inc.
5 c55cc346 Iustin Pop
#
6 c55cc346 Iustin Pop
# This program is free software; you can redistribute it and/or modify
7 c55cc346 Iustin Pop
# it under the terms of the GNU General Public License as published by
8 c55cc346 Iustin Pop
# the Free Software Foundation; either version 2 of the License, or
9 c55cc346 Iustin Pop
# (at your option) any later version.
10 c55cc346 Iustin Pop
#
11 c55cc346 Iustin Pop
# This program is distributed in the hope that it will be useful, but
12 c55cc346 Iustin Pop
# WITHOUT ANY WARRANTY; without even the implied warranty of
13 c55cc346 Iustin Pop
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 c55cc346 Iustin Pop
# General Public License for more details.
15 c55cc346 Iustin Pop
#
16 c55cc346 Iustin Pop
# You should have received a copy of the GNU General Public License
17 c55cc346 Iustin Pop
# along with this program; if not, write to the Free Software
18 c55cc346 Iustin Pop
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19 c55cc346 Iustin Pop
# 02110-1301, USA.
20 c55cc346 Iustin Pop
21 c55cc346 Iustin Pop
set -e
22 c55cc346 Iustin Pop
23 67c15d8b Iustin Pop
! grep -F '\[em]' "$1" || \
24 c55cc346 Iustin Pop
  { echo "Unescaped dashes found in $1, use \\-- instead of --" 1>&2; exit 1; }