diff --git a/htdocs/fichinter/fiche.php3 b/htdocs/fichinter/fiche.php3 index d72c11796f6..acd23f5ac9f 100644 --- a/htdocs/fichinter/fiche.php3 +++ b/htdocs/fichinter/fiche.php3 @@ -389,7 +389,11 @@ if ($id) { $file = $conf->fichinter->outputdir . "/$fichinter->ref/$fichinter->ref.tex"; if (file_exists($file)) { - print 'tex'.$fichinter->ref.'.tex'; + print 'tex'.$fichinter->ref.'.tex'; + + print ' [view]'; + + print ''; } diff --git a/htdocs/fichinter/index.php3 b/htdocs/fichinter/index.php3 index 7e3afe9190b..5d2f25cf8b3 100644 --- a/htdocs/fichinter/index.php3 +++ b/htdocs/fichinter/index.php3 @@ -1,8 +1,5 @@ - * - * $Id$ - * $Source$ * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -18,6 +15,9 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. * + * $Id$ + * $Source$ + * */ require("./pre.inc.php3"); require("../contact.class.php3"); diff --git a/htdocs/fichinter/texview.php3 b/htdocs/fichinter/texview.php3 new file mode 100644 index 00000000000..2346dfc82eb --- /dev/null +++ b/htdocs/fichinter/texview.php3 @@ -0,0 +1,60 @@ + + * + * This program 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 of the License, or + * (at your option) any later version. + * + * This program 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 this program; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * + * $Id$ + * $Source$ + * + */ +require("./pre.inc.php3"); +require("../contact.class.php3"); + +llxHeader(); + +?> + + +fichinter->outputdir . "/$fichinter_ref/$fichinter_ref.tex"; + +print $file .'

'; + +$fcontents = file ($file); + +if (file_exists($file)) { + + + while (list ($line_num, $line) = each ($fcontents)) { + echo htmlspecialchars ($line), "
\n"; + } + + + +// readfile($file); +} +print "

"; + + +llxFooter("Dernière modification $Date$ révision $Revision$"); +?>