static char rcsid[] = "$Id: dumpdoc.c,v 1.1 1992/09/06 19:31:32 mike Exp $";

/* $Log: dumpdoc.c,v $
 * Revision 1.1  1992/09/06  19:31:32  mike
 * Initial revision
 *
 */

#include "const.h"

#ifdef __STDC__
#include <stdarg.h>

void dump_doc(char *ptr, ...)
{
  va_list varptr;

  va_start(varptr, ptr);
  while (ptr != NULL)
  {
    puts(ptr);
    ptr = va_arg(varptr,char *);
  }
  va_end(varptr);
}

#else	/*  __STDC__ */

#include <varargs.h>

void dump_doc(va_alist) va_dcl
{
  char *ptr;
  va_list varptr;

  va_start(varptr);
  while (NULL != (ptr = va_arg(varptr,char *))) puts(ptr);
  va_end(varptr);
}

#endif





/* ****************  TEST ********************* */
#ifdef TEST

main()
{
  dump_doc("--------",(char *)NULL);
  dump_doc((char *)NULL);
  dump_doc("this is a test","*****", (char *)NULL);
  
}

#endif