Changes between Initial Version and Version 1 of Ticket #3867, comment 4


Ignore:
Timestamp:
Aug 18, 2014, 7:18:12 AM (5 years ago)
Author:
cjg
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3867, comment 4

    initial v1  
    55Hello,
    66
    7 This is what is used for generating the pdf and dvi documentation:
     7This is what is used for generating the pdf and dvi documentation, and these commands are issued after the normal ./configure and make.
    88
    99pushd doc &&