I realized that the html/ directory where we ship the rivet manual pages
is misplaced within the artifact. It's supposed to be in doc/ whereas
rivet-3.2.3.tar.gz has it in the root directory. The mistake is due to
an erroneous execution of a step in the process of creating the tar
ball. I usually follow these process steps
+ a pristine source tree is created using 'git archive'
+ the configure file is created within the source tree using 'autoreconf'
+ the autom4te.cache directory is removed
+ the HTML manual is generated within the working copy and it's copied
into $(sourcetree)/doc/html.
Copying doc/html instead of creating it avoids running ./configure
within the pristine source tree and enables us to have a cleaner tree.
Given the non-frequent releases of rivet I never got bothered writing a
shell script to automate those 4 steps. And eventually it struck
-- Massimo
---------------------------------------------------------------------
To unsubscribe, e-mail: rivet-dev-unsubscr...@tcl.apache.org
For additional commands, e-mail: rivet-dev-h...@tcl.apache.org
