diff --git a/WEGA/contrib/ingres/dbs/ing_doc/inhalt/READ_ME b/WEGA/contrib/ingres/dbs/ing_doc/inhalt/READ_ME new file mode 100644 index 0000000..7971c3e --- /dev/null +++ b/WEGA/contrib/ingres/dbs/ing_doc/inhalt/READ_ME @@ -0,0 +1,12 @@ + + + +Das Inhaltsverzeichnis kann hier +mit "make inhalt" erstellt werden. +Voraussetzung dafuer ist die voll- +staendige Existenz der uebersetzten +Dokumentation in /z/ing_doc/*. + +Der Druck ist mit "make print" moeglich. + +