1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
#!/bin/sh -- cat <<EOF /* this is an autogenerated file. edit patchlist.sh instead. */ #include "config.h" #include <stdio.h> #include <stdlib.h> #include "mutt.h" void mutt_print_patchlist (void) { EOF while read patch ; do echo " puts (\"${patch}\");" done echo "}" |