mirror of
https://github.com/MariaDB/server.git
synced 2025-08-01 03:47:19 +03:00
- removed internals.texi (has been moved to mysqldoc BK tree)
BitKeeper/deleted/.del-internals.texi~62b6f580a41c2a43: Delete: Docs/internals.texi Docs/Makefile.am: - removed all traces of internals.texi
This commit is contained in:
@ -157,53 +157,6 @@ manual_letter.de.ps: manual.de.texi include.texi
|
||||
touch $@
|
||||
|
||||
|
||||
#
|
||||
# Internals Manual
|
||||
#
|
||||
|
||||
# GNU Info
|
||||
internals.info: internals.texi include.texi
|
||||
cd $(srcdir) && $(MAKEINFO) --no-split -I $(srcdir) $<
|
||||
|
||||
# Plain Text
|
||||
internals.txt: internals.texi include.texi
|
||||
cd $(srcdir) && \
|
||||
$(MAKEINFO) -I $(srcdir) --no-headers --no-split --output $@ $<
|
||||
|
||||
# HTML, all in one file
|
||||
internals.html: internals.texi include.texi $(srcdir)/Support/texi2html
|
||||
cd $(srcdir) && @PERL@ $(srcdir)/Support/texi2html $(TEXI2HTML_FLAGS) $<
|
||||
internals_toc.html: internals.html
|
||||
|
||||
# PDF, Portable Document Format
|
||||
internals.pdf: internals.texi
|
||||
sed -e 's|@image{[^}]*} *||g' <$< >internals-tmp.texi
|
||||
pdftex --interaction=nonstopmode internals-tmp.texi
|
||||
texindex internals-tmp.??
|
||||
pdftex --interaction=nonstopmode internals-tmp.texi
|
||||
texindex internals-tmp.??
|
||||
pdftex --interaction=nonstopmode internals-tmp.texi
|
||||
mv internals-tmp.pdf $@
|
||||
rm -f internals-tmp.*
|
||||
touch $@
|
||||
|
||||
# Postscript, A4 Paper
|
||||
internals_a4.ps: internals.texi include.texi
|
||||
TEXINPUTS=$(srcdir):$$TEXINPUTS \
|
||||
MAKEINFO='$(MAKEINFO) -I $(srcdir)' \
|
||||
$(TEXI2DVI) --batch --texinfo --quiet '@afourpaper' $<
|
||||
$(DVIPS) -t a4 internals.dvi -o $@
|
||||
touch $@
|
||||
|
||||
# Postscript, US Letter Paper
|
||||
internals_letter.ps: internals.texi include.texi
|
||||
TEXINPUTS=$(srcdir):$$TEXINPUTS \
|
||||
MAKEINFO='$(MAKEINFO) -I $(srcdir)' \
|
||||
$(TEXI2DVI) --batch $<
|
||||
$(DVIPS) -t letter internals.dvi -o $@
|
||||
touch $@
|
||||
|
||||
|
||||
#
|
||||
# Miscellaneous
|
||||
#
|
||||
|
5707
Docs/internals.texi
5707
Docs/internals.texi
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user