+++ /dev/null
-#include "config.h"
-#ifndef lint
-static char rcsid[] ATTR_UNUSED = "$Id$";
-#endif
-
-#include <stdio.h>
-#include <string.h>
-#include <stdlib.h>
-#include <limits.h>
-
-static char buf[LINE_MAX];
-
-int main(void)
-{
-char *s,*s2,*d;
-char f;
-
- while (fgets(buf,sizeof(buf),stdin)) {
- if (*buf=='#') continue;
- for (s=buf;*s==' ';s++);
- if (*s=='\n' || !*s) continue;
- f=0;
- for (d=s=buf;*s;s++) {
- if (*s=='\t') {
- if ((f=!f)) {
-/*fprintf(stderr,"DURING TURN-ON:%s",s);*/
- if (s[1]=='"') s++;
- }
- else {
-/*fprintf(stderr,"DURING TURN-OFF:%s",s);*/
- while (d>buf && (d[-1]=='"' || d[-1]==' ')) d--;
- }
- continue;
- }
- s2=s;
- if (*s=='~' ) *s='"';
- else if (f && s[0]=='"' && s[1]==' ') {
- while (*++s==' ');
- if (*s=='"') continue;
- s=s2;
- }
- *d++=*s;
- }
- *d='\0';
- fputs(buf,stdout);
- }
- return(EXIT_SUCCESS);
-}