diff options
author | Karl Berry <karl@freefriends.org> | 2008-01-30 22:53:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-01-30 22:53:16 +0000 |
commit | 5b220dd618918fcba08d8a57a50ca22f637f2080 (patch) | |
tree | c57b1cadff663cb55d585011e58dcf6e2f81d37c /Build/source/texk/windvi/winhtex.h | |
parent | cbadb342afed31e4056992d557544e1904e55827 (diff) |
remove windows sources no longer used, per akira
git-svn-id: svn://tug.org/texlive/trunk@6454 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/windvi/winhtex.h')
-rw-r--r-- | Build/source/texk/windvi/winhtex.h | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/Build/source/texk/windvi/winhtex.h b/Build/source/texk/windvi/winhtex.h deleted file mode 100644 index 37b29ec84bd..00000000000 --- a/Build/source/texk/windvi/winhtex.h +++ /dev/null @@ -1,38 +0,0 @@ -/* - winhtex.h : prototype file - Time-stamp: "99/07/22 20:24:32 popineau" - - Copyright (C) 1999 - Fabrice Popineau <Fabrice.Popineau@supelec.fr> - - This file is part of Windvi. - - Windvi 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. - - Windvi 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 Windvi; if not, write to the Free Software Foundation, 59 - Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ - -#ifndef _WINHTEX_H_ -#define _WINHTEX_H_ - -#define NO 0 -#define YES 1 - -#define PARSE_ALL 1 - -extern BOOL HTURL_isAbsolute(const char *url); -extern int invokviewer(char *filename); -extern char * HTParse (const char *aName, const char *relatedName, int wanted); -extern void htex_cleanup(int arg); -extern int www_fetch(char *url, char *savefile); -#endif - |