Lines Matching refs:main3
64 cat > rec/main3.texi << 'END'
66 @setfilename main3.info
67 @settitle main3
74 info_TEXINFOS = main3.texi
106 test -d rec/main3.html
118 test ! -e rec/main3.html
124 test -f rec/main3.html
128 test ! -e rec/main3.html
144 test -d rec/main3.html
148 test ! -e rec/main3.html
153 test -d share/$me/html/main3.html
157 test ! -e share/$me/html/main3.html
162 test -f rec/main3.dvi
166 test ! -e rec/main3.dvi
171 test -f share/$me/dvi/main3.dvi
175 test ! -e share/$me/dvi/main3.dvi
182 test -f share/$me/ps/main3.ps
186 test ! -e share/$me/ps/main3.ps
194 test -f share/$me/pdf/main3.pdf
199 test ! -e share/$me/pdf/main3.pdf