1 files changed, 0 insertions, 54 deletions
diff --git a/contrib/groff/src/preproc/html/pushback.h b/contrib/groff/src/preproc/html/pushback.h
deleted file mode 100644
index 3fddad66f11d..000000000000
--- a/contrib/groff/src/preproc/html/pushback.h
+++ /dev/null
@@ -1,54 +0,0 @@
-// -*- C -*-
-/* Copyright (C) 2000, 2001, 2003, 2004 Free Software Foundation, Inc.
-     Written by Gaius Mulley (gaius@glam.ac.uk).
-
-This file is part of groff.
-
-groff is free software; you can redistribute it and/or modify it under
-the terms of the GNU General Public License as published by the Free
-Software Foundation; either version 2, or (at your option) any later
-version.
-
-groff is distributed in the hope that it will be useful, but WITHOUT ANY
-WARRANTY; without even the implied warranty of MERCHANTABILITY or
-FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
-for more details.
-
-You should have received a copy of the GNU General Public License along
-with groff; see the file COPYING.  If not, write to the Free Software
-Foundation, 51 Franklin St - Fifth Floor, Boston, MA 02110-1301, USA. */
-
-
-#define eof              (char)-1
-
-
-/*
- *  defines the class and methods implemented within pushback.cpp
- */
-
-class pushBackBuffer
-{
- private:
-  char       *charStack;
-  int         stackPtr;   /* index to push back stack        */
-  int         debug;
-  int         verbose;
-  int         eofFound;
-  char       *fileName;
-  int         lineNo;
-  int         stdIn;
-
- public:
-         pushBackBuffer (char *);
-  ~      pushBackBuffer ();
-  char   getPB          (void);
-  char   putPB          (char ch);
-  void   skipUntilToken (void);
-  void   skipToNewline  (void);
-  double readNumber     (void);
-  int    readInt        (void);
-  char  *readString     (void);
-  int    isString       (const char *string);
-};
-
-