1/* See LICENSE file for copyright and license details. */
 2#include <stdio.h>
 3
 4#include "../util.h"
 5
 6void
 7putword(FILE *fp, const char *s)
 8{
 9  static int first = 1;
10
11  if (!first)
12    fputc(' ', fp);
13
14  fputs(s, fp);
15  first = 0;
16}