diff options
| author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2001-07-29 18:14:34 +0000 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2001-07-29 18:14:34 +0000 |
| commit | 713945653f3a3c36f8a7474919d140a845bd0f28 (patch) | |
| tree | 923cfe28766928c8d9e50b8f077f77e61885e54d | |
| parent | d2857ba845fb3579038f8a991030579ed775dc12 (diff) | |
| download | gnutls-713945653f3a3c36f8a7474919d140a845bd0f28.tar.gz | |
*** empty log message ***
| -rwxr-xr-x | doc/scripts/gdoc | 2 | ||||
| -rw-r--r-- | doc/tex/.cvsignore | 1 | ||||
| -rw-r--r-- | doc/tex/Makefile.am | 7 |
3 files changed, 6 insertions, 4 deletions
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc index dfc78803c7..76caedbfbb 100755 --- a/doc/scripts/gdoc +++ b/doc/scripts/gdoc @@ -329,7 +329,7 @@ sub output_tex { print "\\end{itemize}\n"; foreach $section (@{$args{'sectionlist'}}) { - print "{\\large{$section}}\n"; + print "\n{\\large{$section}}\n"; print "\\begin{rmfamily}\n"; $sec = $args{'sections'}{$section}; diff --git a/doc/tex/.cvsignore b/doc/tex/.cvsignore index fbc1dcdff9..1434b1cbcb 100644 --- a/doc/tex/.cvsignore +++ b/doc/tex/.cvsignore @@ -4,3 +4,4 @@ gnutls-api.tex *.aux *.ps *.dvi +*.toc diff --git a/doc/tex/Makefile.am b/doc/tex/Makefile.am index bf1248bffb..b6e1e068ef 100644 --- a/doc/tex/Makefile.am +++ b/doc/tex/Makefile.am @@ -1,5 +1,6 @@ -EXTRA_DIST = TODO gnutls-api.tex gnutls.tex gnutls.ps gnutls.html ASN1.readme.txt \ - ex1.tex ex2.tex ex3.tex srp1.tex serv1.tex +EXTRA_DIST = gnutls-api.tex gnutls.tex gnutls.ps gnutls.html ASN1.readme.txt \ + ex1.tex ex2.tex ex3.tex srp1.tex serv1.tex gnutls.css \ + nx_grp_g.png prev_g.png up_g.png gnutls-api: gnutls.html gnutls.ps gnutls-api.tex: @@ -11,4 +12,4 @@ gnutls.ps: gnutls.tex gnutls-api.tex -latex gnutls.tex && latex gnutls.tex && dvips gnutls.dvi -o gnutls.ps gnutls.html: gnutls.tex gnutls-api.tex - -latex2html gnutls.tex -no_subdir 1 -split 0 + -latex2html gnutls.tex -no_subdir 1 -split 0 -local_icons |