📄 test-make-manual
字号:
#!/bin/shneeded_texi2html=0needed_texinfo_tex=0needed_include_texi=0if [ -z $BROWSER ]; then BROWSER=netscape echo "BROWSER not set, using $BROWSER"fidie (){ echo echo $1 cleanup exit 1}cleanup (){ echo "Cleaning up..." if [ $needed_texi2html ]; then bk clean Support/texi2html fi if [ $needed_texinfo_tex ]; then bk clean Support/texinfo.tex fi if [ $needed_include_texi ]; then rm -f include.texi fi for file in \ manual.aux manual.cp manual.cps manual.dvi \ manual.fn manual.fns manual.ky manual.html \ manual.pg manual.toc manual.tp manual.vr \ manual.info manual_toc.html ; do rm -f $file done }if [ -e Support/texi2html ]; then echo "Good, texi2html is there."else echo -n "Checking out texi2html..." bk edit Support/texi2html >/dev/null 2>&1 echo " Done." needed_texi2html=1fiif [ -e Support/texinfo.tex ]; then echo "Good, texinfo.tex is there."else echo -n "Checking out texinfo.tex..." bk edit Support/texinfo.tex >/dev/null 2>&1 echo " Done." needed_texinfo_tex=1fiif [ -e include.texi ]; then echo "Good, include.texi is there."else echo -n "Creating include.texi..." bk edit ../configure.in >/dev/null 2>&1 echo "@c This file was generated by test-make-manual" > include.texi echo -n "@set myodbc3_version " >> include.texi grep "AM_INIT_AUTOMAKE(myodbc, " ../configure.in | \ sed -e 's;AM_INIT_AUTOMAKE(myodbc, ;;' -e 's;);;' >> include.texi echo " Done." needed_include_texi=1fiecho -n "Running makeinfo..."makeinfo --no-split -I . manual.texiif [ $? != 0 ]; then die "Manual has errors - fix before you commit"else echo " Looks good."fiecho -n "Running texi2html..."/usr/bin/perl ./Support/texi2html -iso -number manual.texiif [ $? != 0 ]; then die "Manual has errors - fix before you commit"else echo " Looks good."fiecho -n "Running texi2dvi..."texi2dvi --batch manual.texi > texi2dvi.outif [ $? != 0 ]; then die "Manual has errors - fix before you commit (saved in texi2dvi.out)"else rm texi2dvi.out echo " Looks good."fiechoechoecho "Please examine your modifications in \`manual.html'."echoecho "If you would like to use a different browser, set the 'BROWSER' environment"echo "variable." echo$BROWSER file:`pwd`/manual_toc.htmlecho "-- Press Enter to Continue --"read junkcleanup
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -