#######
#
# E-scripts on coq.
#
# Note 1: use the eev command (defined in eev.el) and the
# ee alias (in my .zshrc) to execute parts of this file.
# Executing this file as a whole makes no sense.
#
# Note 2: be VERY careful and make sure you understand what
# you're doing.
#
# Note 3: If you use a shell other than zsh things like |&
# and the for loops may not work.
#
# Note 4: I always run as root.
#
# Note 5: some parts are too old and don't work anymore. Some
# never worked.
#
# Note 6: the definitions for the find-xxxfile commands are on my
# .emacs.
#
# Note 7: if you see a strange command check my .zshrc -- it may
# be defined there as a function or an alias.
#
# Note 8: the sections without dates are always older than the
# sections with dates.
#
# This file is at <http://angg.twu.net/e/coq.e>
#           or at <http://angg.twu.net/e/coq.e.html>.
#        See also <http://angg.twu.net/emacs.html>,
#                 <http://angg.twu.net/.emacs[.html]>,
#                 <http://angg.twu.net/.zshrc[.html]>,
#                 <http://angg.twu.net/escripts.html>,
#             and <http://angg.twu.net/>.
#
#######




#####
#
# coq
# 2000may27
#
#####

# (find-status "coq")
# (find-status "ocaml")
# (find-status "camlp4")

# (find-vldifile "coq.list")
# (find-vldifile "ocaml.list")
# (find-vldifile "camlp4.list")

# (find-fline "/usr/doc/coq/")
# (find-fline "/usr/doc/ocaml/")
# (find-fline "/usr/doc/camlp4/")

# (find-status "libncurses5-dev")
# (find-vldifile "libncurses5-dev.list")
# (find-fline "/usr/doc/libncurses5-dev/")
# (find-status "libncurses4-dev")
# (find-vldifile "libncurses4-dev.list")
# (find-fline "/usr/doc/libncurses4-dev/")






#####
#
# coq-doc
# 2000may27
#
#####

# (find-status "coq-doc")
# (find-vldifile "coq-doc.list")
# (find-fline "/usr/doc/coq-doc/")
# (find-fline "/usr/doc/coq-doc/README")

# (code-c-d "coqhtml" "/usr/doc/coq-doc/coq-docs-html/")
# (find-coqhtmlw3 "toc.html")
# (find-coqhtmlw3 "node.3.4.0.html")

zcat /usr/doc/coq-doc/Tutorial.ps.gz \
  | pstotext \
  > ~/tmp/coq-tutor.ps.txt

# (find-fline "~/tmp/coq-tutor.ps.txt")

gv /usr/doc/coq-doc/Tutorial.ps.gz
gv /usr/doc/coq-doc/Changes.ps.gz
gv /usr/doc/coq-doc/Library.ps.gz

gv /usr/doc/coq-doc/Reference-Manual-base.ps.gz
gv /usr/doc/coq-doc/Reference-Manual-addendum.ps.gz
#gv /usr/doc/coq-doc/Reference-Manual-all.ps.gz

# (w3-open-local "/usr/doc/coq-doc/coq-docs-html/")
# (w3-open-local "/usr/doc/coq-doc/coq-docs-html/toc.html")

lynx		/usr/doc/coq-doc/coq-docs-html/toc.html
links		/usr/doc/coq-doc/coq-docs-html/toc.html
edrxnetscape	/usr/doc/coq-doc/coq-docs-html/toc.html &



# What's the difference between the two ref.manuals?
zcat /usr/doc/coq-doc/Reference-Manual-base.ps.gz | pstotext > /tmp/base.txt
zcat /usr/doc/coq-doc/Reference-Manual-all.ps.gz  | pstotext > /tmp/all.txt
#
# Aha: a diff shows that "all" is "base" plus "addendum". Note that
# "base" doesn't have the pages numbered 218--302 (the "addendum"); it
# jumps from 217 to 303.











#  Local Variables:
#  coding:               no-conversion
#  ee-delimiter-hash:    "\n#\n"
#  ee-delimiter-percent: "\n%\n"
#  ee-anchor-format:     "«%s»"
#  ee-charset-indicator: "Ñ"
#  End: