From 2ad6e88d3ad34e7bb2a7ef9081815bf973484ba3 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Mon, 07 Dec 2015 00:48:03 -0500 Subject: .gitignore: Update --- diff --git a/.gitignore b/.gitignore index cf7cfbb..9d88958 100644 --- a/.gitignore +++ b/.gitignore @@ -17,11 +17,11 @@ Makefile.in config.log config.status Makefile +config.sh # Files generated by Makefile -src/*[^.]?? -lib/*.sm -lib/*/*.sm +*.sho +prokit locale/*.ms man/*.[18] man/*.[18].mdwn -- cgit v0.9.1