diff options
author | Yovan Naumovski <yovan@gorski.stream> | 2023-03-09 21:52:13 +0200 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2023-03-27 16:36:45 +0100 |
commit | d6c629088a9c3a920aea5638d61ed8d5a8690e9b (patch) | |
tree | doc.am +++ b/doc.am @@ -35,6 +35,7 @@ DOT_VECTOR_GRAPHICS = \ $(DOT_FILES:%.dot=%.pdf) EXTRA_DIST += \ + doc/htmlxref.cnf \ doc/contributing.texi \ doc/emacs.texi \ doc/fdl-1.3.texi \ diff --git a/doc/htmlxref.cnf b/doc/htmlxref.cnf new file mode 100644 index 0000000000..fee1b4c9d8 --- /dev/null +++ b/doc/htmlxref.cnf @@ -0,0 +1,652 @@ +# htmlxref.cnf - reference file for free Texinfo manuals on the web. +# Modified by Ludovic Courtès <ludo@gnu.org> for the GNU Guix manual. + +htmlxrefversion=2016-02-21.21; # UTC + +# Copyright 2010, 2011, 2012, 2013, 2014, 2015 Free Software Foundation, Inc. +# +# Copying and distribution of this file, with or without modification, +# are permitted in any medium without royalty provided the copyright +# notice and this notice are preserved. +# +# The latest version of this file is available at +# http://ftpmirror.gnu.org/texinfo/html |