commit f09f49d48344f6d6e4558da96c257c9567852273 · pyrox.dev/nixpkgs

+36 -6
nixos/doc/manual/default.nix
···

       106
       106
        
             xmllint --xinclude --noxincludenode \

     

       107
       107
        
                --output ./man-pages-combined.xml ./man-pages.xml

     

       108
       108
        
       

     

       109
       109
       -
             xmllint --debug --noout --nonet \

     

       110
       110
       -
               --relaxng ${docbook5}/xml/rng/docbook/docbook.rng \

     

       111
       111
       -
               manual-combined.xml

     

       112
       112
       -
             xmllint --debug --noout --nonet \

     

       113
       113
       -
               --relaxng ${docbook5}/xml/rng/docbook/docbook.rng \

     

       114
       114
       -
               man-pages-combined.xml

     

       109
       109
       +
             # outputs the context of an xmllint error output

     

       110
       110
       +
             # LEN lines around the failing line are printed

     

       111
       111
       +
             function context {

     

       112
       112
       +
               # length of context

     

       113
       113
       +
               local LEN=6

     

       114
       114
       +
               # lines to print before error line

     

       115
       115
       +
               local BEFORE=4

     

       115
       116
        
       

     

       117
       117
       +
               # xmllint output lines are:

     

       118
       118
       +
               # file.xml:1234: there was an error on line 1234

     

       119
       119
       +
               while IFS=':' read -r file line rest; do

     

       120
       120
       +
                 echo

     

       121
       121
       +
                 if [[ -n "$rest" ]]; then

     

       122
       122
       +
                   echo "$file:$line:$rest"

     

       123
       123
       +
                   local FROM=$(($line>$BEFORE ? $line - $BEFORE : 1))

     

       124
       124
       +
                   # number lines & filter context

     

       125
       125
       +
                   nl --body-numbering=a "$file" | sed -n "$FROM,+$LEN p"

     

       126
       126
       +
                 else

     

       127
       127
       +
                   if [[ -n "$line" ]]; then

     

       128
       128
       +
                     echo "$file:$line"

     

       129
       129
       +
                   else

     

       130
       130
       +
                     echo "$file"

     

       131
       131
       +
                   fi

     

       132
       132
       +
                 fi

     

       133
       133
       +
               done

     

       134
       134
       +
             }

     

       135
       135
       +
       

     

       136
       136
       +
             function lintrng {

     

       137
       137
       +
               xmllint --debug --noout --nonet \

     

       138
       138
       +
                 --relaxng ${docbook5}/xml/rng/docbook/docbook.rng \

     

       139
       139
       +
                 "$1" \

     

       140
       140
       +
                 2>&1 | context 1>&2

     

       141
       141
       +
                 # ^ redirect assumes xmllint doesn’t print to stdout

     

       142
       142
       +
             }

     

       143
       143
       +
       

     

       144
       144
       +
             lintrng manual-combined.xml

     

       145
       145
       +
             lintrng man-pages-combined.xml

     

       116
       146
        
       

     

       117
       147
        
             mkdir $out

     

       118
       148
        
             cp manual-combined.xml $out/