![]() |
|
|||
File indexing completed on 2025-05-11 08:24:27
0001 #!/bin/sh 0002 # 0003 # doxygen input filter 0004 0005 # usage: doxy-filter <input-file-name> 0006 # Reads <input-file> and writes to stdout. 0007 0008 file=$1 0009 0010 # Does file contain a doxygen @file directive? 0011 if ! grep -q '@file' $file >/dev/null ; then 0012 # No, add one 0013 echo "/** @file $file */" 0014 cat $file 0015 else 0016 # Yes, adjust path to work around doxygen not being able to 0017 # distinguish file names properly 0018 exec sed -e "s,@file.*$,@file $file," $file 0019 fi 0020
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |
![]() ![]() |