Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15-SP5
ddd
ddd-texinfo-5.0.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File ddd-texinfo-5.0.patch of Package ddd
Index: ddd-3.3.12/ddd/ddd-themes.texi =================================================================== --- ddd-3.3.12.orig/ddd/ddd-themes.texi +++ ddd-3.3.12/ddd/ddd-themes.texi @@ -1,4 +1,4 @@ -\def\postscript{}\input texinfo @c -*- texinfo -*- +\def\postscript\input texinfo @c -*- texinfo -*- @c $Id$ @c Writing DDD Themes @@ -136,7 +136,7 @@ Send bug reports to @email{bug-ddd@@gnu. @c The title page. @ifnothtml @titlepage -@sp -7 +@sp 7 @ifnottex @title Writing @value{DDD} Themes @subtitle User's Guide and Reference Manual Index: ddd-3.3.12/ddd/ddd.texi =================================================================== --- ddd-3.3.12.orig/ddd/ddd.texi +++ ddd-3.3.12/ddd/ddd.texi @@ -1,4 +1,4 @@ -\def\postscript{}\input texinfo @c -*- texinfo -*- +\def\postscript\input texinfo @c -*- texinfo -*- @c $Id$ @c DDD Manual @@ -154,7 +154,7 @@ to the developers' mailing list @email{b @c The title page. @ifnothtml @titlepage -@sp -7 +@sp 7 @ifnottex @title Debugging with @value{DDD} @subtitle User's Guide and Reference Manual
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor