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