Browse Source

+ Corrected dumpppu=ppudump

michael 25 years ago
parent
commit
8f7a90c8d6
1 changed files with 1 additions and 1 deletions
  1. 1 1
      docs/prog.tex

+ 1 - 1
docs/prog.tex

@@ -2784,7 +2784,7 @@ which is logical, since they cannot appear in the interface section of a
 unit.
 unit.
 
 
 The detailed contents and structure of this file are described in the first
 The detailed contents and structure of this file are described in the first
-appendix. You can examine a unit description file using the \file{dumpppu}
+appendix. You can examine a unit description file using the \file{ppudump}
 program, which shows the contents of the file.
 program, which shows the contents of the file.
 
 
 If you want to distribute a unit without source code, you must provide both
 If you want to distribute a unit without source code, you must provide both