Texinfo formatting adjustments

mmontone · May 18, 2023 · 6ae2ecc · 6ae2ecc
1 parent f4a1265
commit 6ae2ecc
Show file tree

Hide file tree

Showing 3 changed files with 85 additions and 303 deletions.
diff --git a/dp.texi b/dp.texi
@@ -1,13 +1,7 @@
 @c -*- Mode: Texinfo; -*-
 @c ----- diverse.
 
-@ifinfo
 @include dpi.texi
-@end ifinfo
-
-@ifnotinfo
-@include dph.texi
-@end ifnotinfo
 
 @macro spc {}
 @w{ }

diff --git a/dph.texi b/dph.texi