Revision 67c15d8b autotools/check-man-dashes

b/autotools/check-man-dashes
1 1 
#!/bin/bash
2 2 
#
3 3 

  		





  4
  
  
    
# Copyright (C) 2012 Google Inc.


  		





  
  4
  
    
# Copyright (C) 2012, 2013 Google Inc.


  		





  5
  5
  
    
#


  		





  6
  6
  
    
# This program is free software; you can redistribute it and/or modify


  		





  7
  7
  
    
# it under the terms of the GNU General Public License as published by


  		





  ......




  20
  20
  
    

  		





  21
  21
  
    
set -e


  		





  22
  22
  
    

  		





  23
  
  
    
! grep -F -q '\[em]' "$1" || \


  		





  
  23
  
    
! grep -F '\[em]' "$1" || \


  		





  24
  24
  
    
  { echo "Unescaped dashes found in $1, use \\-- instead of --" 1>&2; exit 1; }


  		












Also available in:
  Unified diff