projects / pspp / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ee6283) | patch
doc: Use --css-ref option to makeinfo, instead of postprocessing with sed.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 29 Oct 2020 06:01:12 +0000 (23:01 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 29 Oct 2020 06:01:46 +0000 (23:01 -0700)
commita58b271cad7e72bc5f2c0e8f7e98fadc27759089
treea44689fb2516378e71892ab61a3e1c77d4ce2c17tree | snapshot
parent6ee628352468d784b0de31f0f8e73717e25c322acommit | diff
doc: Use --css-ref option to makeinfo, instead of postprocessing with sed.

This option was introduced with makeinfo 4.11, released in 2007, so it
should be widely available.
doc/automake.mk diff | blob | history
Unnamed repository; edit this file to name it for gitweb.