diff man/umlaute.texi @ 42:8b8b7f3559a2 r19-15b104

Import from CVS: tag r19-15b104
author cvs
date Mon, 13 Aug 2007 08:54:51 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/man/umlaute.texi	Mon Aug 13 08:54:51 2007 +0200
@@ -0,0 +1,14 @@
+@catcode`@ß=@active
+@catcode`@Ä=@active
+@catcode`@ä=@active
+@catcode`@Ö=@active
+@catcode`@ö=@active
+@catcode`@Ü=@active
+@catcode`@ü=@active
+@defß{@ss}
+@defÄ{@"A}
+@defä{@"a}
+@defÖ{@"O}
+@defö{@"o}
+@defÜ{@"U}
+@defü{@"u}