diff options
author | michal-n <michal-n> | 2010-05-03 16:08:40 +0000 |
---|---|---|
committer | michal-n <michal-n> | 2010-05-03 16:08:40 +0000 |
commit | 50b05f2d10069ac3ba9e6013ad0246088cd763c4 (patch) | |
tree | 8a1115591d6e66ff09f91376a2b38d2d51c68ae0 /htdocs | |
parent | e763e1186cf7e6b6d9c8cc18345866d74a369ff6 (diff) |
Patch from Khaled Hosny: removes obsolete documentation.
Diffstat (limited to 'htdocs')
-rw-r--r-- | htdocs/realindex.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/htdocs/realindex.html b/htdocs/realindex.html index 6e920e80..2cc9c7df 100644 --- a/htdocs/realindex.html +++ b/htdocs/realindex.html @@ -352,7 +352,8 @@ <LI> <A TARGET="_top" HREF="glossary.html#condensed">Definition</A> <LI> - <A TARGET="_top" HREF="metafont.html">Using the metafont command to create</A> + <A TARGET="_top" HREF="elementmenu.html#Condense">Using the Element->Style-> + Condense/Extend command to create</A> </UL> <LI> Contextual features @@ -544,7 +545,8 @@ <LI> <A TARGET="_top" HREF="glossary.html#extended">Definition</A> <LI> - <A TARGET="_top" HREF="metafont.html">Using the metafont command to create</A> + <A TARGET="_top" HREF="elementmenu.html#Condense">Using the Element->Style-> + Condense/Extend command to create</A> </UL> </UL> </TD> @@ -1062,8 +1064,6 @@ <UL> <LI> See <A TARGET="_top" HREF="realindex.html#MF">MF</A> (for Knuth's program) - <LI> - <A TARGET="_top" HREF="elementmenu.html#MetaFont">menu command</A> </UL> <LI> <A NAME="MF">MF</A> |